BEARBEITEN (v2): Am Ende wurde ein Abschnitt hinzugefügt, der beschreibt, was ich über das Problem weiß.
EDIT (v3): Diskussion zum Schwellenwert am Ende hinzugefügt.
Frage
Diese Frage ist hauptsächlich eine Referenzanfrage. Ich weiß nicht viel über das Problem. Ich möchte wissen, ob bereits an diesem Problem gearbeitet wurde, und wenn ja, kann mich jemand auf Artikel verweisen, die sich mit diesem Problem befassen? Ich möchte auch die derzeit besten Grenzen für den ungefähren Grad von . Alle anderen Informationen sind ebenfalls erwünscht (z. B. historische Informationen, Motivation, Beziehung zu anderen Problemen usw.).
Definitionen
Sei eine Boolesche Funktion. Sei p ein Polynom über den Variablen x 1 bis x n mit reellen Koeffizienten. Der Grad eines Polynoms ist der maximale Grad über alle Monome. Der Grad eines Monoms ist die Summe der Exponenten der verschiedenen x i , die in diesem Monom vorkommen. Zum Beispiel ist deg ( x 7 1 x 2 3 ) = 9 .
Man sagt, dass ein Polynom ϵ -approximiert f if | f ( x ) - p ( x ) | < ϵ für alle x . Die ε -approximate Grad einer Booleschen Funktion f , bezeichnet als ~ ° ε ( f ) ist der minimale Grad eines Polynoms , dass ε -approximates f . Für eine Reihe von Funktionen gilt F , ~ deg ϵ ( F )ist der minimale Grad so dass jede Funktion in F durch ein Polynom von höchstens d ϵ -approximiert werden kann .
Es ist zu beachten, dass jede Funktion fehlerfrei durch ein Polynom vom Grad werden kann. Einige Funktionen benötigen tatsächlich ein Polynom vom Grad n , um sich einem konstanten Fehler anzunähern. Parität ist ein Beispiel für eine solche Funktion.
Problemstellung
Was ist ? (Die Konstante 1/3 ist beliebig.)
Anmerkungen
Ich bin auf dieses Problem in der Arbeit The Quantum Query Complexity of AC0 von Paul Beame und Widad Machmouchi gestoßen. Man sagt
Unsere Ergebnisse schließen auch nicht die Lücke in der unteren Schranke des ungefähren Grades der AC0-Funktionen.
Sie erwähnen auch "das Problem des ungefähren Grades von AC0" in ihren Bestätigungen.
Ich gehe also davon aus, dass dieses Problem bereits bearbeitet wurde. Kann mich jemand auf ein Papier verweisen, das über das Problem spricht? Und was sind die bekanntesten Ober- und Untergrenzen?
Was ich über das Problem weiß (Dieser Abschnitt wurde in Version 2 der Frage hinzugefügt)
Die bekanntesten obere auf gebunden , das weiß , ist die triviale obere Schranke n . Die beste untere Schranke I Know kommt von Aaronson und Shi unteren Schranke für die Kollision und das Element Unterscheidbarkeit Probleme, die aus gebundenen einem unteren gibt ~ Ω ( n 2 / 3 ) . (Für stark eingeschränkte Versionen von AC 0 , wie z. B. Formeln mit der Formelgröße o ( n 2 ) oder Tiefenzirkel mit o ( n 2 ).)können wir eine -Obergrenze unter Verwendung der Komplexität von Quantenabfragen beweisen .)
Verwandte: Schwellenwert (Hinzugefügt in v3)
Wie Tsuyoshi in den Kommentaren ausführt, hängt dieses Problem mit dem Problem der Bestimmung des Schwellengrads von . Der Schwellengrad einer Funktion f ist der minimale Grad eines Polynoms p, so dass f ( x ) = 1 ist und f ( x ) = 0 .
Die unteren Grenzen für den Schwellenwert von wurden jetzt von Sherstov verbessert. Er zeigt eine Familie von einmal lesbaren Formeln mit konstanter Tiefe für n Variablen, deren Schwellengrad sich Ω ( √ nähertwenn die Tiefe gegen unendlich geht, was fast eng ist, da einmal gelesene Formeln einen Schwellenwert (und sogar einen ungefähren) GradO( √) haben. Siehehttp://eccc.hpi-web.de/report/2014/009/. (Januar 2014)