Simulation of Arithmetical Circuits by Branching Programs with Preservation of Constant Width and Syntactic Multilinearity

  • Authors:
  • Maurice Jansen;Raghavendra Rao B.V.

  • Affiliations:
  • Centre for Theory in Natural Science, Aarhus University, IT-Parken, Aarhus N, Denmark DK-8200;The Institute of Mathematical Sciences, Chennai, India 600 113

  • Venue:
  • CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study structural properties of restricted width arithmetical circuits. It is shown that syntactically multilinear arithmetical circuits of constant width can be efficiently simulated by syntactically multilinear algebraic branching programs of constant width, i.e. that sm-VSC 0 *** sm-VBWBP. Also, we obtain a direct characterization of poly -size arithmetical formulas in terms of multiplicatively disjoint constant width circuits, i.e. MD-VSC0 = VNC1. For log -width weakly-skew circuits a width efficient multilinearity preserving simulation by algebraic branching programs is given, i.e. weaklyskew-sm-VSC1 *** sm-VBP[width=log2 n ]. Finally, coefficient functions are considered, and closure properties are observed for sm-VSC i , and in general for a variety of other syntactic multilinear restrictions of algebraic complexity classes.