Sensitivity-Block-Sensitivitätsvermutung - Implikationen


12

Sei eine Boolesche Funktion mit der Empfindlichkeit s ( f ) und der Blockempfindlichkeit b s ( f ) .fs(f)bs(f)

Die Empfindlichkeit-Block - Empfindlichkeit Vermutung Vermutung besagt , dass es a , so dass f , b s ( f ) s ( f ) c .c>0f, bs(f)s(f)c

Was sind die Implikationen der Wahrheit und der Falschheit dieser Vermutung?

Bitte geben Sie auch Referenzen an.


2
Bitte überlegen Sie, die Frage und ihre Antwort durch Definitionen der Begriffe Sensitivität und Blocksensitivität nützlicher zu machen.
Jan Johannsen

3
Die Sensitivitätsvermutung wurde nun von Hao Huang bewiesen: arxiv.org/abs/1907.00847 .
Yuval Filmus

@YuvalFilmus Die Sensitivitätsvermutung folgt als Konsequenz. Also halten vielleicht mehr Konsequenzen durch.
T ....

@YuvalFilmus nachgewiesen. c4
T ....

Antworten:


13

Das sagt Scott Aaronson zu diesem Thema:

Was dies interessant macht, ist, dass die Blockempfindlichkeit bekanntermaßen mit einer Vielzahl anderer interessanter Komplexitätsmaße in polynomialer Beziehung steht: der Entscheidungsbaumkomplexität von , der Zertifikatskomplexität von f , der randomisierten Abfragekomplexität von f , der Quantum-Abfragekomplexität von f , der Grad von f als reales Polynom, nennen Sie es. Wenn also, wie vermutet wird, Sensitivität und Blocksensitivität polynomial zusammenhängen, dann hört Sensitivität - die wohl grundlegendste aller booleschen Funktionskomplexitätsmaße - auf, ein Ausreißer zu sein und schließt sich einer großen und glücklichen Herde an.fffff

Die Überprüfung anderer relevanter Literatur bietet keine weiteren zwingenden Implikationen:

  • Nisan und Szegedy beschreiben die Frage, bieten aber überhaupt keine Motivation.
  • Kenyon und Kutin erwähnen, dass dies eine "natürliche offene Frage" ist.
  • Gotsman und Linial geben ein etwas ausgedachtes gleichwertiges Problem an (Vermutung 5.33 auf Seite 18 des folgenden Papiers).
  • P. Hatami, Kulkarni und Pankratov bieten in ihrer umfassenden Übersicht über das Problem ebenfalls keine Motivation, haben aber mehrere äquivalente Formulierungen. Beispielsweise ist die Sensitivitätsvermutung äquivalent zu der Vermutung, dass die Komplexität der Paritätsentscheidung einer Funktion durch die Sensitivität polynomial begrenzt ist. Vermutung 5.31 auf Seite 17 ist aufgrund von Shi eine Neuformulierung, in der die Empfindlichkeit überhaupt nicht erwähnt wird.
  • Ambainis, Bavarian, Gao, Mao, Sun und Zao behaupten, dass die Vermutung "aus der Theorie der Komplexitätsmaße der Booleschen Funktionen und der Komplexität des Entscheidungsbaums stammt" und im Allgemeinen dieselbe Art von Motivation bietet wie Scott Aaronson. Ihr aktueller Preprint ist das letzte Wort der Vermutung (Stand Dezember 2014).

5

Ω(Log(s(f)))fCREW(f)f

CREW(f)=Ω(Logs(f))

CREW(f)

CREW(f)=Θ(Logbs(f))

CREW(f)=Ö(Logs(f))

Ob heutzutage die Implikation der Empfindlichkeit eine genaue Charakterisierung von ergibtCREW(f)

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.