Weizmann Logo
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



TR08-016 | 26th February 2008 00:00

The Sign-Rank of AC^0


Authors: Alexander Razborov, Alexander A. Sherstov
Publication: 28th February 2008 18:25
Downloads: 1764


The sign-rank of a matrix A=[A_{ij}] with +/-1 entries
is the least rank of a real matrix B=[B_{ij}] with A_{ij}B_{ij}>0
for all i,j. We obtain the first exponential lower bound on the
sign-rank of a function in AC^0. Namely, let
f(x,y)=\bigwedge_{i=1}^m\bigvee_{j=1}^{m^2} (x_{ij}\wedge y_{ij}).
We show that the matrix [f(x,y)]_{x,y} has sign-rank 2^{Omega(m)}.
This in particular implies that Sigma_2^{cc}\not\subseteq UPP^{cc},
which solves a long-standing open problem posed by Babai, Frankl,
and Simon (1986).

Our result additionally implies a lower bound in learning theory.
Specifically, let phi_1,...,phi_r : {0,1}^n -> R be functions
such that every DNF formula f:{0,1}^n->{+1,-1} of polynomial size has
the representation f=sign(a_1*phi_1+...+a_r*phi_r) for
some reals a_1,...,a_r. We prove that then r> 2^{Omega(n^{1/3})},
which essentially matches an upper bound of 2^{tilde O(n^{1/3})}
due to Klivans and Servedio (2001).

Finally, our work yields the first exponential lower bound on the
size of threshold-of-majority circuits computing a function
in AC^0. This substantially generalizes and strengthens the
results of Krause and Pudlak (1997).

ISSN 1433-8092 | Imprint