Eine Distribution soll -fool eine Funktion wenn . Und es wird gesagt, dass es eine Klasse von Funktionen täuscht, wenn es jede Funktion in dieser Klasse täuscht.
Es ist bekannt, dass durch voreingenommene Räume die Klasse der Paritäten über Teilmengen täuschen. (siehe Alon-Goldreich-Hastad-Peralta für einige schöne Konstruktionen solcher Räume). Die Frage, die ich stellen möchte, ist eine Verallgemeinerung auf beliebige symmetrische Funktionen. ϵ f | E x ≤ U ( f ( x ) ) - E x ≤ D ( f ( x ) ) | ≤ ϵ ϵ
Frage: Nehmen wir an, wir nehmen die Klasse der willkürlichen symmetrischen Funktionen über eine Teilmenge, haben wir eine Distribution (mit kleiner Unterstützung), die diese Klasse zum Narren hält?
Einige kleine Beobachtungen:
Es ist ausreichend, exakte Schwellenwerte zu täuschen ( ist 1, wenn und nur wenn genau Einsen unter den Indizes in ). Jede Verbreitung dass -fools genau diese Schwellenwerte täuschen alle symmetrischen Funktionen über Bits. (Dies liegt daran, dass jede symmetrische Funktion als eine echte lineare Kombination dieser exakten Schwellenwerte geschrieben werden kann, wobei die Koeffizienten in der Kombination entweder 0 oder 1 sind. Die Linearität der Erwartung gibt uns dann das, was wir wollen.) Ein ähnliches Argument gilt auch für allgemeine Schwellenwerte. ist genau dann 1, wenn mindestensx k S ε n ε n Th S k ( x ) x k
diejenigen unter den Indizes in )Es gibt eine explizite Konstruktion einer Distribution mit Unterstützung für über Nisans PRG für LOGSPACE .
Beliebige voreingenommene Räume funktionieren nicht. Wenn beispielsweise ist die Menge aller , so dass die Anzahl der Einsen in x nicht Null mod 3, das ist eigentlich -biased für sehr kleine (von einem Ergebnis der Arkadev Chattopadyay ). Dies täuscht jedoch die MOD3-Funktion nicht an.S x ϵ ϵ
Ein interessantes Unterproblem könnte folgendes sein: Angenommen, wir wollen nur symmetrische Funktionen über alle n Indizes hinweg täuschen. Haben wir einen schönen Raum? Nach den obigen Beobachtungen müssen wir nur die Schwellenwertfunktionen über Bits täuschen, was nur eine Familie von Funktionen ist. Somit kann man die Verteilung einfach mit Brute-Force bestimmen. Aber gibt es schönere Beispiele für Leerzeichen, die für jedes Narren halten ?n + 1 Th [ n ] k k