Sind alle Funktionen, deren Fouriergewicht sich auf die kleinen Mengen konzentriert, die von AC0-Schaltkreisen berechnet werden?


18

Werden alle Funktionen, deren Fouriergewicht sich auf die kleinen Mengen (oder Terme mit niedrigem Grad) konzentriert, von Kreisen berechnet ?AC0


Diese Frage klingt interessant, obwohl mir einige Hintergrundinformationen in der Fourier-Analyse fehlen. Ich würde mich über Hinweise auf verwandte Literatur freuen.
Markus

5
@ Markus: Dieses Buch 2.0 von Ryan O'Donnell ist eine ausgezeichnete Referenz: contrib.andrew.cmu.edu/~ryanod
Alessandro Cosentino

fast das Gegenteil von Linial, Mansour, Nissan 1993 ? Aaronsons Ergebnis, Gegenbeispiel zu verallgemeinertem Linial-Nissan scheint nah? Aber imho theres muss eine Möglichkeit sein, das Ergebnis von 1993 irgendwie zu verallgemeinern ... vielleicht in großem
Stil

eine andere ähnliche Idee anstelle von AC ^ 0, die schwerer zu widerlegen ist, wäre eine unbegrenzte Tiefe, aber Schaltkreise mit begrenzter Anzahl von Gates, die durch eine "kleine" Funktion begrenzt sind, sagen wir Polynom usw ...? auch afaik ist das verhältnis zwischen monotonen schaltungen und fourierkoeffizienten nicht so bekannt ...?
vzn

Antworten:


19

Nein. Betrachten Sie die folgende Funktion für : f ( x ) = x 0x n - {0,1}n Offensichtlich ist diese Funktion für AC0schwierig. Andererseits ist die Funktion nahezu konstant, so dass fast das gesamte Fourier-Spektrum auf der ersten Ebene liegt.

f(x)=x0xnn1(xnnxn1).

Wenn Sie ein symmetrisches Gegen möchten, sollten Diese Funktion ist fast immer gleichx0, so dass fast das gesamte Fourier-Spektrum auf den ersten beiden Ebenen liegt.

g(x)=x0[x1xnn1(xnnxn1)].
x0

3
Haben Sie robuste Beispiele, bei denen die Funktion in AC0 nicht angenähert werden kann?
MCH

2
Eine Funktion, die sich auf die ersten -Pegel konzentriert, ist immer in der Nähe einer Funktion, die von den O ( 1 ) -Eingängen abhängt. Wenn wir also nur an O ( 1 ) -Pegeln interessiert sind, gibt es keine zuverlässigen Beispiele. O(1)O(1)O(1)
Yuval Filmus

@YuvalFilmus Was bedeutet Fourier-Spektrum-Pegel? Warum ist diese Funktion für schwierig ? AC0

@Arul Ein Fourier-Level besteht aus allen Fourier-Koeffizienten, die Mengen einer bestimmten Größe entsprechen. Wir betrachten sie in aufsteigender Reihenfolge ihrer Größe. Da diese Funktion für AC0 schwierig ist, handelt es sich um eine Übung. Hinweis: Parität ist schwer für AC0.
Yuval Filmus

7

Es gibt verschiedene Möglichkeiten, die Frage anhand der genauen Bedeutung von "klein" und "konzentriert" zu verstehen.

1o(1)S1o(1)AC0

2) Es gibt einen Satz von Bourgain, dass, wenn die Konzentration deutlich über der der Majoritätsfunktion liegt, die Funktion ungefähr eine Junta ist und daher von O (1) -Variablen abhängt.

f^2(S)EINC0pOlylOG(n)

O(Logn)EINC0

O(pOlylOG(n))npOlylOG(n)

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.