Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > DETAIL:

### Paper:

TR94-023 | 12th December 1994 00:00

#### On the Computational Power of Depth 2 Circuits with Threshold and Modulo Gates

TR94-023
Authors: Matthias Krause, Pavel Pudlak
Publication: 12th December 1994 00:00
Keywords:

Abstract:

We investigate the computational power of depth two circuits
consisting of \$MOD^r\$--gates at the bottom and a threshold gate at
the top (for short, threshold--\$MOD^r\$ circuits) and circuits with
two levels of \$MOD\$ gates (\$MOD^{p}\$-\$MOD^q\$ circuits.) In particular, we
will show the following results

(i) For all prime numbers \$p\$ and integers \$q,r\$ it holds that
if \$p\$ divides \$r\$ but not \$q\$ then all threshold--\$MOD^q\$ circuits
for \$MOD^r\$ have exponentially many nodes.

(ii) For all integers \$r\$ all problems computable by depth two \$\{AND,OR,NOT\}\$--circuits of (quasi) polynomial size can be represented by threshold--\$MOD^r\$ circuits with (quasi)poly\-no\-mially many edges.

(iii) There is a problem computable by depth three \$\{AND,OR,NOT\}\$--circuits
of linear size and constant bottom fan--in which for all \$r\$ needs
threshold--\$MOD^r\$ circuits with exponentially many nodes.

(iv) For \$p,r\$ different primes, and \$q\geq 2,\$ \$k\$ positive integers,
where \$p\$ does not divide \$q,\$
every \$MOD^{p^k}\$-\$MOD^q\$ circuit for \$MOD^r\$ has exponentially many nodes.

Results (i) and (iii) imply the first known exponential lower bounds on the
number of nodes of threshold--\$MOD^r\$ circuits, \$r\neq 2\$.
They are based on a new lower bound method for the representation
length of functions as threshold functions over predefined
function bases, which, in contrast to previous related techniques
works even if the
edge weights are allowed to be unbounded and if the bases are nonorthogonal.
The special importance of result (iii) consists in the fact that the known
spectral--theoretically based
lower bound methods for threshold--\$XOR\$ circuits can provably
not be applied to
\$AC_0\$--functions. Thus, by (ii), result (iii) is quite sharp and gives a