Kann man mit dem Linial-Mansour-Nisan-Theorem und der Kenntnis des Fourier-Spektrums von ?

14

Ergebnis 1: Das Linial-Mansour-Nisan-Theorem besagt, dass das der von den Schaltkreisen berechneten Funktionen sich mit hoher Wahrscheinlichkeit auf die kleinen Teilmengen konzentriert.EINC0

Ergebnis 2: Das konzentriert sich auf den des Grades .PEINRichTY.n

Frage: Gibt es eine Möglichkeit zu beweisen (falls nachweisbar), dass nicht mit Kreisen über / unter Verwendung der Ergebnisse 1 und 2 berechenbar ist ?PEINRichTY.EINC0

Stattrav
quelle
7
Ist das nicht eine offensichtliche Anwendung des Satzes von Linial-Mansour-Nisan? Wie der LMN-Satz bewiesen wird (insbesondere, ob er durch probabilistische Argumentation bewiesen wird oder nicht), ist unerheblich.
Tsuyoshi Ito
3
Wird der Satz von Linial-Mansour-Nisan nicht gleichzeitig durch die Annahme des Satzes von Hastad bewiesen? Es sieht für mich aus wie ein Hund, der seinen eigenen Schwanz jagt ...
Alessandro Cosentino
3
Auf diese Weise wird die untere Schranke der Größe einer AC0-Schaltung, die sich der Parität annähert, in den Notizen von Ryan O'Donnell abgeleitet . Siehe Folgerung 32.
Sasho Nikolov
5
Ich denke, die interessantere Frage ist in Ihrem Kommentar: Ist jede Funktion, deren Fourierspektrum sich auf niedrige Koeffizienten konzentriert, die durch kleine AC0-Schaltungen berechnet werden können?
Sasho Nikolov
7
@ Strattav Dann könnten Sie diese Frage stellen.
Tyson Williams

Antworten:

11

Der LMN-Satz zeigt, dass, wenn f eine Boolesche Funktion durch eine AC 0 -Schaltung der Größe M berechenbar ist ,(f:{1,1}n{1,1})AC0

S:|S|>kf^(S)22Ω(k/(logM)d1)

f^([n])22Ω(n/(logM)d1)

|f^([n])|2Ω(n/(logM)d1)

ist nichts anderes als die Korrelation von f mit der Paritätsfunktion ( n i = 1 x i ) . Sei δ der Anteil der Eingaben, bei denen f von P A R I T Y abweicht.|f^([n])|(i=1nxi)δfPARITY

12δ|12δ|=|f^([n])|2Ω(n/(logM)d1)δ12Ω(n/(logM)d1)

Also, wenn M , für f ist gleich P A R I T Y ,poly(n)fPARITY

δ12n2n2(cn/(logM)d1)(logM)d1(c1)nM2Ω(n1/d1)

PARITYAC0PARITYAC0

Tulasi
quelle