Halfspace Matrices
. We introduce the notion of a halfspace matrix , which is a sign matrix A with rows indexed by linear threshold functions f , columns indexed by inputs x ∈ {− 1, 1} n , and the entries given by A f , x = f ( x ). We use halfspace matrices to solve the following problems. In communication complexit...
Gespeichert in:
| Veröffentlicht in: | Computational complexity Jg. 17; H. 2; S. 149 - 178 |
|---|---|
| 1. Verfasser: | |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Basel
SP Birkhäuser Verlag Basel
01.05.2008
|
| Schlagworte: | |
| ISSN: | 1016-3328, 1420-8954 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | .
We introduce the notion of a
halfspace matrix
, which is a sign matrix
A
with rows indexed by linear threshold functions
f
, columns indexed by inputs
x
∈ {− 1, 1}
n
, and the entries given by
A
f
,
x
=
f
(
x
). We use halfspace matrices to solve the following problems.
In communication complexity, we exhibit a Boolean function
f
with discrepancy Ω(1/
n
4
) under every product distribution but
under a certain non-product distribution. This partially solves an open problem of Kushilevitz and Nisan (1997).
In learning theory, we give a short and simple proof that the statisticalquery (SQ) dimension of halfspaces in
n
dimensions is less than 2
under all distributions. This improves on the
estimate from the fundamental paper of Blum et al. (1998). We show that estimating the SQ dimension of natural classes of Boolean functions can resolve major open problems in complexity theory, such as separating PSPACE
and PH
.
Finally, we construct a matrix
with dimension complexity log
N
but margin complexity
. This gap is an exponential improvement over previous work. We prove several other relationships among the complexity measures of sign matrices, omplementing work by Linial et al. (2006, 2007). |
|---|---|
| ISSN: | 1016-3328 1420-8954 |
| DOI: | 10.1007/s00037-008-0242-4 |