Quantentanner-Codes ermöglichen eine effiziente einmalige Fehlerkorrektur, die auch bei fehlerhaften Messungen zuverlässig funktioniert.
Gruppen von Angreifern können den globalen Quantenzustand von Quanteninformationssystemen mit N ≥3 Qubits maximal stören, ohne dass dies erkannt werden kann.
Wir entwickeln eine symmetrische monoidale abgeschlossene Kategorie von Spielen, die Summen und Produkte einbezieht, um Quantenberechnung auf höheren Typen zu modellieren. Dieses Modell ist ausdrucksstark und in der Lage, alle unitären Operatoren auf Basistypen darzustellen. Es ist mit Basistypen kompatibel und durch unitäre Operatoren realisierbar.
Programmiersprachen-Abstraktionen für Kontrollfluss in Quantenprogrammen können zu einem polynomiellen Anstieg der T-Komplexität führen, was den Berechnungsvorteil von Quantenalgorithmen verringern kann.
Es wird ein effizienter Algorithmus für die agnostische Tomographie von Stabilizer-Produktzuständen präsentiert. Der Algorithmus kann eine Stabilizer-Produktzustandsapproximation finden, deren Fidelität fast so gut ist wie die des besten Stabilizer-Produktzustands, selbst wenn der Eingabezustand nicht exakt ein Stabilizer-Produktzustand ist.
Der Stichprobenaufwand für das Circuit Knitting ist exponentiell durch die exakten Verschränkungskosten der zu simulierenden bipartiten Quantenkanäle beschränkt, selbst bei asymptotischer Überkopfrate im parallelen Schnittbereich.
Wir entwickeln gierige Heuristiken, die speziell auf die Synthese von Quantenschaltkreisen zugeschnitten sind, die eine angegebene Menge von Pauli-Rotationen implementieren. Unsere Heuristiken sind darauf ausgelegt, entweder die Anzahl der verschränkenden Gatter oder die Tiefe der verschränkenden Gatter zu minimieren, und sie können so angepasst werden, dass sie die Reihenfolge der Rotationen beibehalten oder lockern.
Quantenkommitments sind äquivalent zu Generatoren für eindeutige Quantenzustände, die eine Stärke von O(n/log(n)) Kopien haben. Dies zeigt, dass O(n/log(n))-Kopien-Generatoren für eindeutige Quantenzustände die schwächste Form sind, aus denen man Quantenkommitments (und damit einen Großteil der Quantenkryptographie) erhalten kann.
Verteiltes Quantencomputing bietet einen vielversprechenden Ansatz, um die Rechenleistung aktueller Quantensysteme zu steigern, indem mehrere physisch getrennte Quantenprozessoren miteinander verbunden werden.
Durch die Formulierung des Problems als exakte binäre Matrixfaktorisierung können Algorithmen entwickelt werden, die eine tiefenoptimale rechteckige Adressierung von 2D-Qubit-Arrays ermöglichen.