Als «quantum-computing» getaggte Fragen

Quantenberechnung und Rechenprobleme im Zusammenhang mit der Quantenmechanik

1
Quantenalgorithmen für QED-Berechnungen in Bezug auf die Feinstrukturkonstanten
Meine Frage betrifft Quantenalgorithmen für QED-Berechnungen (Quantenelektrodynamik) in Bezug auf die Feinstrukturkonstanten. Solche Berechnungen (wie mir erklärt) Taylor-ähnliche Reihen wobei die Feinstrukturkonstante (um 1/137) ist und der Beitrag von Feynman-Diagrammen mit Schleifen ist. α c k k∑ ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Diese Frage wurde durch Peter Shors Kommentar (über QED und die …
1
Einheitliche Methode zur Quantifizierung von „Verzweigungen“ bei nichtdeterministischen, probabilistischen und Quantenberechnungen?
Die Berechnung einer nichtdeterministischen Turing-Maschine (NTM) ist bekanntermaßen als ein Baum von Konfigurationen darstellbar, der auf der Startkonfiguration basiert. Jeder Übergang im Programm wird durch einen Vater-Kind-Link in diesem Baum dargestellt. Ähnliche Bäume können auch zur Visualisierung der Berechnungen von Wahrscheinlichkeits- und Quantenmaschinen konstruiert werden. (Beachten Sie, dass es für …
1
Was ist der Beweis dafür, dass Quantencomputer beliebige quantenmechanische Systeme effizient simulieren können?
JBV schlug vor, einige Kommentare in eine Frage umzuwandeln. Eine weitere Frage [1] betrifft Anwendungen des QM-Computing. Eine Antwort [2] war "die Quantenmechanik effizient simulieren". Anscheinend geht diese Idee auf Feynmans frühes Schreiben zu diesem Thema zurück; obwohl ich keine Referenz habe. Damit: Frage. Was ist der Beweis dafür, dass …
1
Warum müssen QMA-Komplettprobleme Versprechen sein?
Ich lese Watrous 'exzellentes Umfragepapier auf Papier zur Theorie der Quantenkomplexität. Darin stellt er fest, dass es überraschend wäre, wenn ein QMA-vollständiges Problem ein leeres Versprechen hätte (dh eine Sprache sein). Warum ist das so? Hat es damit zu tun, dass das k-lokale Hamilton-Problem ein Versprechen ist? Dies führt mich …
4
Quantenglocken-Ungleichungen
Ich bin gespannt, ob jemand ergänzendes Material empfehlen könnte, um ein tieferes Verständnis des Papiers zu erlangen: " Einige Ergebnisse und Probleme bei Ungleichheiten vom Typ der Quantenglocke - Tsirelson ". Insbesondere etwas, das die geometrische Interpretation von Bell-Typ-Ungleichungen etwas näher erläutern könnte. Vielleicht ein Grundierungspapier oder ein relevantes Lehrbuch, …
2
Beschränkung der Eingabe von einheitlichen Operatoren auf reelle Zahlen und universelle Gatesätze
In Bernsteins und Vaziranis wegweisender Arbeit "Quantum Complexity Theory" zeigen sie, dass addd dimensionale einheitliche Transformation durch ein Produkt aus "nahezu trivialen Rotationen" und "nahezu trivialen Phasenverschiebungen" effizient angenähert werden kann. "Fast triviale Rotationen" sindddd dimensionale einheitliche Matrizen, die als Identität auf allen außer 2 Dimensionen fungieren, aber als Rotation …
4
Begrenzung der Lücke zwischen Quanten- und deterministischer Abfragekomplexität
Obwohl exponentielle Trennungen zwischen Quantenabfragekomplexität mit begrenztem Fehler ( ) und deterministischer Abfragekomplexität ( D ( f ) ) oder randomisierter Abfragekomplexität mit begrenztem Fehler ( R ( f ) ) bekannt sind, gelten sie nur für bestimmte Teilfunktionen. Wenn die Teilfunktionen einige spezielle Strukturen haben , sind sie auch …
1
Span-Programme, Zeugengröße und Komplexität der Zertifikate
Ein Span-Programm ist eine linear-algebraische Methode zur Angabe einer hier eingeführten Booleschen Funktion . Kürzlich wurde dieses Modell verwendet, um zu zeigen, dass die Methode des negativen Gegners eine enge Charakterisierung (mindestens bis zu ) der Komplexität von Quantenabfragen liefert .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Das Komplexitätsmaß, das Span-Programme mit …
1
Abhängige Korrekturen bei der messungsbasierten Universal Blind Quantum Computation
In Universal Blind Quantum Computation beschreiben die Autoren ein messungsbasiertes Protokoll, das es einem fast klassischen Benutzer ermöglicht, beliebige Berechnungen auf einem Quantenserver durchzuführen, ohne fast irgendetwas über den Inhalt der Berechnung preiszugeben. In der Protokollbeschreibung erwähnen die Autoren jedem Qubit zugeordnete "Abhängigkeitssätze", die nach einer im Determinismus im Einwegmodell …
2
Ist adiabatisches Quantencomputing so leistungsfähig wie das Schaltungsmodell?
Ein Großteil der Quantencomputerliteratur konzentriert sich auf das Schaltungsmodell. Adiabatisches Quantencomputing basiert nicht auf der Anwendung einer Folge von Einheitsoperatoren, sondern auf der Änderung eines zeitabhängigen Hamilton-Operators. Ich suche nach einem Einblick in eines der folgenden Dinge. Ist adiabatisches Quantencomputing so leistungsfähig wie das Schaltungsmodell oder ist es von Natur …
1
Zur Optimalität des Grover-Algorithmus mit hoher Erfolgswahrscheinlichkeit
Es ist bekannt , dass beschränkte Fehler quantum query Komplexität der Funktion ist , Θ ( √OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Nun ist die Fragewas passiertwenn wir unser Quantenalgorithmus für jede Eingabe mitWahrscheinlichkeit erfolgreich sein wollen1-εanstatt der üblichen2/3. Was wärenun in Bezug aufϵdie geeignete Ober- und Untergrenze?Θ(n−−√)Θ(n)\Theta(\sqrt{n})1−ϵ1−ϵ1-\epsilon2/32/32/3ϵϵ\epsilon Es ist unmittelbar, dass Abfragen reichen …
1
Welche Rolle spielt die Verifizierung bei der Quantenabtastung, Simulation und beim ECT-Test (Extended Church-Turing)?
Da keine Antwort gegeben wurde, wurde ein Flag gesetzt, das die Konvertierung dieser Frage in ein Community-Wiki anfordert. Die Kommentare von Aaron Sterling, Sasho Nikolov und Vor wurden in der folgenden Entschließung zusammengefasst, die für Community-Wiki-Diskussionen offen ist: Behoben: In Bezug auf klassische Algorithmen, die Zahlen, Stichproben oder Simulationstrajektorien ausgeben, …
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.