Oraculare Trennungen zwischen Quantenschaltungen mit Poly- und Log-Tiefe

Das folgende Problem taucht in Aaronsons Liste 10 Semi-Grand Challenges for Quantum Computing Theory auf .

Ist$\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}}$ p o l y l o g (n) B Q P B P P B Q N C Mit anderen Worten, kann der "Quanten" eines beliebigen Quantenalgorithmus auf komprimiert werden , vorausgesetzt, Sind Sie bereit, die klassische Nachbearbeitung in Polynomialzeit durchzuführen? (Es ist bekannt, dass dies für Shors Algorithmus zutrifft.) In diesem Fall wäre der Bau eines Allzweck-Quantencomputers viel einfacher als allgemein angenommen! Nebenbei bemerkt, ist es nicht schwer , eine geben Oracle Trennung zwischen und , aber die Frage ist , ob es irgendeine konkrete Funktion „Instantiieren“ eine solche Oracle.$\mathrm{polylog}(n)$$\mathsf{BQP}$$\mathsf{BPP}^{\mathsf{BQNC}}$

Es wurde von Jozsa vermutet, dass die Antwort auf die Frage "Ja" in dem auf Messungen basierenden Modell der Quantenberechnung lautet: "Wo lokale Messungen, adaptive lokale Gates und effiziente klassische Nachbearbeitung erlaubt sind. Siehe auch diesen verwandten Beitrag ."

Frage . Ich würde gerne etwas über die derzeit bekannten orakelhaften Trennungen zwischen diesen Klassen erfahren (oder zumindest die Orakeltrennung, auf die sich Aaronson bezieht).

Ich entschuldige mich; Ich war zu unbeschwert, als ich das schrieb. Obwohl ich glaube, dass es möglich ist , eine Orakel-Trennung zwischen und mit aktuellen Techniken zu beweisen , wurde dies noch nicht getan (12 Jahre, nachdem ich über das Problem nachgedacht hatte und es dann verschoben hatte!), Und das würde es sicherlich sein Wert ein Papier für den, der es getan hat. Vielleicht motiviert mich Ihr Beitrag, dieses Problem endgültig zu lösen!$BQP$$BPP^{BQNC}$