Mit der zusätzlichen Kraft der negativen Gegner-Methode

17

Die negative Gegnermethode ( ) ist eine SDP, die die Komplexität von Quantenabfragen charakterisiert. Es ist eine Verallgemeinerung der weit verbreiteten Gegner-Methode ( A D V ) und überwindet die beiden Hindernisse, die der Gegner-Methode im Wege standen:ADV±ADV

  1. Die Eigenschaftstestbarriere: Wenn alle 0-Instanzen weit von allen 1-Instanzen entfernt sind, kann die gegnerische Methode keine Untergrenze nachweisen, die besser als Ω ( 1 / ϵ ) ist .ϵΩ(1/ϵ)

  2. Die Zertifikatskomplexitätsbarriere: Wenn die Zertifikatskomplexität von b- Instanzen ist, kann die gegnerische Methode keine Untergrenze nachweisen, die besser als √ istCb(f)b wobeiC0(f)C1(f)

In dem ursprünglichen PapierADV± konstruieren , um die Autoren ein Beispiel für die Funktion , ihre Verfahren beiden Barrieren überwinden. Ich habe jedoch keine Beispiele für natürliche Probleme gesehen, bei denen dies zu neuen Untergrenzen geführt hat.

Können Sie Referenzen angeben, bei denen die negative Gegnermethode verwendet wurde, um eine Untergrenze zu erreichen, die die ursprüngliche Methode nicht erreichen konnte?

Das größte Interesse für mich ist das Testen von Immobilien. Derzeit gibt es nur sehr wenige Untergrenzen für Eigenschaftstests. Tatsächlich kenne ich nur zwei ( CFMdW2010 , ACL2011 ), die beide die Polynommethode verwenden (die erste durch Reduktion des Kollisionsproblems, das ursprünglich durch die Polynommethode untergrenzen wurde). Wir wissen, dass es Eigenschaften gibt, für die Quantenabfragen erforderlich sind, um zu berechnen, ob f ( n ) O ( n ) (durch Kombinieren der Ergebnisse in BNFR2002 und GKNR2009)Θ(f(n))f(n)O(n)). Warum ist es so schwierig, mit der negativen Gegnermethode die unteren Grenzen von zu beweisen ?Ω(f(n))

Artem Kaznatcheev
quelle
1
Ω(1/ϵ)Ω(1/n)
5
Ich kenne eine Anwendung des negativen Gegners in der Kryptographie von Brassard, Hoyer, Kalach, Kaplan, Laplante und Salvail ( iacr.org/conferences/crypto2011/abstracts/385.htm ), die in CRYPTO'11 erscheinen wird. Sie benutzten den Kompositionssatz, um eine Lücke in Merkle-Spielen für einen Quantengegner zu beweisen, der gegen Quantenparteien arbeitet, die eine Botschaft austauschen. Leider haben die noch keine endgültige Version des Papiers. Vielleicht können Sie auf das Verfahren warten oder sich an die Autoren wenden.
Marcos Villagra
Das in meinem Kommentar erwähnte Papier kann von arXiv ( arxiv.org/abs/1108.2316 ) heruntergeladen werden . Überprüfen Sie insbesondere Lemma 1 und Lemma 5 im Anhang.
Marcos Villagra

Antworten:

2

Anscheinend kann ich keinen Kommentar abgeben, daher ist dies eine Antwort, auch wenn es sich nur um eine Teilantwort handelt.

Ω(N2/3)N

Andernfalls ist es manchmal einfacher, die Polynommethode als die gegnerischen Methoden zu verwenden, da dies ausreicht, um die Existenz des Polynoms zu beweisen, wohingegen Sie für die gegnerische Methode explizit eine gute gegnerische Matrix benötigen und deren Operatornorm berechnen müssen.

Loïck
quelle
Dies beantwortet speziell die Frage nicht. Wir können die Dichtheit der negativen Gegnermethode verwenden, um zu wissen, dass es für Probleme wie Elementunterscheidbarkeit (oder wenn wir Eigenschaftstests wünschen, Kollisionsprobleme) eine gegnerische Matrix geben MUSS. Aber das ist nicht wirklich mit der negativen Gegnermethode, sondern mit der Polynommethode. Ich denke, wenn die Frage nicht klar genug ist, sollte ich sie verfeinern.
Artem Kaznatcheev