Ungefährer Grad von

24

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 AC0 . 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 .f:{0,1}n{0,1}px1xnxideg(x17x32)=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 )pϵf|f(x)p(x)|<ϵxϵfdeg~ϵ(f)ϵfFdeg~ϵ(F)ist der minimale Grad so dass jede Funktion in F durch ein Polynom von höchstens d ϵ -approximiert werden kann .dFϵd

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.nn

Problemstellung

Was ist ? (Die Konstante 1/3 ist beliebig.)deg~1/3(AC0)

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 ).)deg~1/3(AC0)nΩ~(n2/3)AC0o(n2)o(n2)können wir eine -Obergrenze unter Verwendung der Komplexität von Quantenabfragen beweisen .)o(n)

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 istAC0fp und f ( x ) = 0f(x)=1p(x)>0 .f(x)=0p(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ähertAC0nwenn die Tiefe gegen unendlich geht, was fast eng ist, da einmal gelesene Formeln einen Schwellenwert (und sogar einen ungefähren) GradO( √) habenΩ(n). Siehehttp://eccc.hpi-web.de/report/2014/009/. (Januar 2014)O(n)

Robin Kothari
quelle
7
Eine untere Schranke Ω (n ^ (1/3)) ist selbst für den Schwellengrad (den Minimalgrad eines Polynoms p mit f (x) = 1 ⇒ p (x)> 0 und f (x) = 0 ⇒ bekannt p (x) <0). Siehe das Ende von Abschnitt 3.1 von „Kommunikationsuntergrenzen unter Verwendung von Doppelpolynomen“ von Sherstov .
Tsuyoshi Ito
4
@ Tsuyoshi: Danke. Interessant ist auch der Schwellengrad (der den ungefähren Grad unterschreitet) von AC0. Die besten Untergrenzen, die ich für den Schwellenwert von AC0 kenne, befinden sich in New-Degree-Schranken für polynomiale Schwellenwertfunktionen von O'Donnell und Servedio. Die Untergrenze ist um einen logarithmischen Faktor besser als Ω (n ^ (1/3)), der mit der Tiefe der Schaltung wächst.
Robin Kothari
4
Hoppla, Sie haben Recht, die zur Angleichung Grad für AC0 untere Grenze liegt auf der Hand von Aaronson und Shi. Wie dumm von mir. Danke auch für den Hinweis auf O'Donnell und Servedio. Ω~(n2/3)
Tsuyoshi Ito
Ein kürzlich veröffentlichter Artikel von Mark Bun und Justin Thaler mit dem Titel "Härteverstärkung und der ungefähre Grad von Schaltkreisen mit konstanter Tiefe" erörtert dieses Problem ebenfalls kurz. Sie sagen, dass die untere Schranke von Aaronson und Shi die bekannteste untere Schranke für eine Funktion in AC <sup> 0 </ sup> ist und diese untere Schranke sogar in einem etwas allgemeineren Modell gilt.
Robin Kothari

Antworten:

4

Kürzlich (Mitte März 2017) wurde ein Artikel von Mark Bun und Justin Thaler auf ECCC veröffentlicht, der genau diese Frage beantwortet: "Eine nahezu optimale Untergrenze für den ungefähren Grad von AC0".

δ>0fAC0deg~1/3(f)=Ω(n1δ)O(n)

fdFO(npolylog(n))D=Ω(n1/3·d2/3)d=n1Ω(1)DdfF

Dies ist das neueste Update am unteren Ende dieses Problems, und es ist ein bedeutender Fortschritt. Die Abschnitte "Einführung" und "Anwendung" des Dokuments sind ebenfalls gute Quellen für Referenzen zu früheren Arbeiten und verwandten Problemen.

Haftungsausschluss: Ich habe die Zeitung noch nicht sorgfältig gelesen.

EIN
quelle
Ω(n1δ)