Boolean Circuits, Tensor Ranks, and Communication Complexity

نویسندگان

  • Pavel Pudlák
  • Vojtech Rödl
  • Jirí Sgall
چکیده

We investigate two methods for proving lower bounds on the size of small-depth circuits, namely the approaches based on multiparty communication games and algebraic characterizations extending the concepts of the tensor rank and rigidity of matrices. Our methods are combinatorial, but we think that our main contribution concerns the algebraic concepts used in this area (tensor ranks and rigidity). Our main results are following. (i) An o(n)-bit protocol for a communication game for computing shifts, which also gives an upper bound of o(n) on the contact rank of the tensor of multiplication of polynomials; this disproves some earlier conjectures. A related probabilistic construction gives an o(n) upper bound for computing all permutations and an O(n log logn) upper bound on the communication complexity of pointer jumping with permutations. (ii) A lower bound on certain restricted circuits of depth 2 which are related to the problem of proving a superlinear lower bound on the size of logarithmic-depth circuits; this bound has interpretations both as a lower bound on the rigidity of the tensor of multiplication of polynomials and as a lower bound on the communication needed to compute the shift function in a restricted model. (iii) An upper bound on Boolean circuits of depth 2 for computing shifts and, more generally, all permutations; this shows that such circuits are more efficient than the model based on sending bits along vertex-disjoint paths.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Lower Bounds on the Area Complexity of Boolean Circuits

Hromkovif, J., S.A. Loikin, A.I. Rybko, A.A. Sapoienko and N.A. Skalikova, Lower bounds on the area complexity of Boolean circuits, Theoretical Computer Science 97 (1992) 2855300. The layout area of Boolean circuits is considered as a complexity measure of Boolean functions. Introducing the communication complexity of Boolean circuits and proving that this communication complexity squared provi...

متن کامل

Low-communication SMC protocols from Boolean circuits

This report describes experiments in generating low-communication secure multi-party protocols on arithmetic circuits by providing a translation from a Boolean circuit format. Boolean circuits are typically used for Yao’s garbled circuits protocol, providing a constant-round computation with relatively large communication overhead. BGW-style protocols based on ring or field arithmetic have lowe...

متن کامل

Polynomial Threshold Functions and Boolean Threshold Circuits

We study the complexity of computing Boolean functions on general Boolean domains by polynomial threshold functions (PTFs). A typical example of a general Boolean domain is {1, 2}. We are mainly interested in the length (the number of monomials) of PTFs, with their degree and weight being of secondary interest. We show that PTFs on general Boolean domains are tightly connected to depth two thre...

متن کامل

On the Depth Complexity of the Counting Functions

We use Karchmer and Wigderson’s recent characterization of circuit depth in terms of communication complexity to design shallow Boolean circuits for the counting functions. We show that the MOD, counting function on n arguments can be computed by Boolean networks which contain negations and binary ORand AND-gates in depth c logrn, where c A 2.881. This is an improvement over the obvious depth u...

متن کامل

Classes of feedforward neural networks and their circuit complexity

-Th& paper aims to p&ce neural networks in the conte.\t ol'booh'an citz'ldt complexit.l: 1,1~, de/itte aplm~priate classes qlfeedybrward neural networks with specified fan-in, accm'ac)' olcomputation and depth and ttsing techniques" o./commzmication comph:¥ity proceed to show t/tat the classes.fit into a well-studied hieralz'h)' q/boolean circuits. Results cover both classes of sigmoid activati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • SIAM J. Comput.

دوره 26  شماره 

صفحات  -

تاریخ انتشار 1997