Entgegen früherer Behauptungen in diesem Thread ist nicht bekannt, dass Algebrisierung im Sinne von Aaronson & Wigderson die Relativierung subsumiert. Beispielsweise,
(∃C:C⊂NEXP∧C⊄P/poly)⟹NEXP⊄P/poly(†)
ist eine relativierende Aussage. (Tatsächlich hat es einen relativierenden Beweis, was auch immer das für den Leser bedeuten mag.) Es ist jedoch nicht bekannt, dass es algebrisiert wird, wie dies von Aaronson & Wigderson selbst in Abschnitt 10.1 ihrer Arbeit [1] angedeutet wurde. (Während AW uns sagt, dass in der obigen Grafik außerhalb von liegen muss , ist es denkbar, dass liegt drin!)A ∃ C : C ⊂ N E X P ∧ C ⊄ P / p o l yNEXP⊄P/polyA∃C:C⊂NEXP∧C⊄P/poly
Eine kürzlich erschienene Arbeit von Eric Bach und mir [2] liefert jedoch eine Formulierung der Algebrisierung, die die Relativierung subsumiert. Wenn wir den AW-Begriff eines algebraischen Orakels - bezeichnet als für eine Sprache - nehmen und ihn mit Bedacht modifizieren, können wir die Pathologien wie oben eliminieren . O(†)O~O(†)
Das Fazit ist, dass Algebrisierung, wenn geeignet definiert, Relativierung in Bezug auf ein algebraisches Orakel ist - eine algebraische Relativierung, bei der jedes Orakel ein "Wackeln" bekommt, was ist die leere Menge im obigen Diagramm, daher auch .R NR∖ARN
[1] http://www.scottaaronson.com/papers/alg.pdf
[2] http://eccc.hpi-web.de/report/2016/040/
PS: Eine andere Formulierung für die Algebrisierung wurde von Impagliazzo, Kabanets und Kolokolova früher vorgeschlagen, die ebenfalls in einfügt, von der jedoch bekannt ist, dass sie nicht so mächtig ist wie der AW-Begriff. Siehe meine Arbeit mit Eric zum Vergleich.ARA