de.wedoany.com-Bericht: IBM Quantum hat die Open-Source-Erweiterung Qiskit Paulice (qiskit-paulice) offiziell veröffentlicht, die automatisch hardwareeffiziente Fehlererkennungsschleifen in beliebige Quantenschaltkreise einfügt, bewertet und bewertet. Das Paket wurde von den IBM-Forschern Simon Martiel und Ali Javadi-Abhari entwickelt und führt die raumzeitliche Pauli-Überprüfung ein, um die Rauscheigenschaften der aktuellen Chips mit mittlerer Skalierung (NISQ) zu mildern.
Im Gegensatz zu den traditionellen hardwareintensiven fehlertoleranten Quantencomputing-Ansätzen (FTQC), die für 2029 geplant sind, oder zeitintensiven Fehlerminderungsmethoden wie der Null-Rausch-Extrapolation und der probabilistischen Fehlereliminierung, die exponentielle Abtastzeiten erfordern, arbeitet Qiskit Paulice als nachselektierendes Korrekturwerkzeug, das fehlerhafte Ausführungspfade isoliert und herausfiltert, mit minimalem Overhead an Gattern und Qubits.
Auf der grundlegenden Hardwareebene erfordern Standard-Fehlererkennungsprotokolle, dass dedizierte physikalische Hilfs-Qubits direkt mit den Hauptdaten-Qubits verbunden werden. Herkömmliche Verifikationsmethoden erfordern oft die Messung von Operatoren mit hohem Gewicht, was zu einer übermäßigen Schaltungstiefe führt und komplexe SWAP-Gatter-Muster auf Geräten mit begrenzten physikalischen Qubit-Verbindungen erfordert, wodurch oft mehr Rauschen eingeführt als erfasst wird. Qiskit Paulice umgeht diesen Engpass, indem es die Einschränkungen als einheitlichen raumzeitlichen Code ausführt. Anstatt statische Qubits streng nach physikalischen Koordinaten zu bewerten, platziert das Paket Verifikationsoperationen an bestimmten zeitlichen Positionen während der schrittweisen Ausführung der Schaltung, sodass eine einzelne Überprüfung mit niedrigem Gewicht Fehlerlecks in erweiterten Bereichen der Berechnung erfassen und verfolgen kann.
Zur Optimierung des Hardware-Stacks müssen die Überprüfungen ihre Erkennungsfähigkeit mit dem eingeführten Gatterrauschen abwägen. Paulice nutzt einen Multi-Tenant-Rust-beschleunigten Compiler und validiert die Überprüfungsparameter anhand von drei Kernkriterien: Gültigkeit, die bestätigt, dass das Rückwärtsausbreitungsprodukt des ausgewählten Pauli-Operators direkt auf den Stabilisator des idealen Schaltungsvorbereitungszustands abbildet; Gewichtsminimierung, bei der der Auswahlalgorithmus komplexe Operationen herausfiltert und hardwareeffiziente Strukturen bevorzugt, die weniger Verschränkungsgatter benötigen; und Effektivitätsbewertung, bei der das Paket die von der Überprüfung gefundenen Pauli-Fehler als nachselektierenden Rauschkanal modelliert und über eine integrierte Kostenfunktion bewertet, um den Abtastaufwand zu minimieren oder die logische Fehlerrate durch empirisches Monte-Carlo-Sampling zu berechnen.
Der praktische Arbeitsablauf bildet die Hilfs-Pins auf den anfänglichen Grundzustand ab, propagiert den Zustand durch die zu prüfende Schaltung vorwärts und erzeugt einen lokalen Ausgabeoperator, der als Unterstützungsmenge der Überprüfung bezeichnet wird. Bei der Ausführung wird die Überprüfung bestanden, wenn die in der Unterstützungsmenge gemessenen Bits eine gerade Parität aufweisen, und die Probe wird beibehalten; bei ungerader Parität wird die Probe als fehlerhaft markiert und verworfen. Diese strukturellen Syndromdaten können an verschiedene Ausführungspfade weitergeleitet werden. In abtast- oder erwartungswertbasierten Arbeitsabläufen führt der Benutzer eine einzelne Nachselektion durch und behält nur die Läufe ohne beobachtete Fehler bei, wodurch die Wiedergabetreue der verbleibenden Daten erheblich verbessert wird. Die Software kann die Echtzeit-Syndromdaten auch direkt in externe PEC-Fehlerminderungs- oder Oberflächencode-Fehlerkorrekturpipelines einspeisen, um den inversen Rauschkanal zu komprimieren und den Abtastaufwand zu minimieren.
Die Plattform ist für Clifford- und Clifford-dominierte Quantenarchitekturen optimiert. Um ihre Skalierbarkeit zu demonstrieren, wurde das Software-Framework bereits eingesetzt, um die Wiedergabetreue von Clifford-dominierten Schaltkreisen mit bis zu 50 Qubits und 2.450 Verschränkungsgattern zu verbessern. Darüber hinaus befindet sich das zentrale raumzeitliche Protokoll, das Qiskit Paulice antreibt, in einer aktiven Phase der Verfolgung von Vorteilskandidaten. In einer gemeinsamen Meilenstein-Einreichung von IBM Quantum und der University of Chicago haben Forscher die raumzeitliche Pauli-Überprüfung erfolgreich in groß angelegte Arbeitslasten zur Zufallsgraphzustandsabtastung integriert. Durch die Einbettung einer syndrombasierten Filtersschicht in hochdichte Zufallsschaltkreis-Sampling-Benchmarks demonstrierte das Team einen praktischen Ansatz, um Quantencomputing in Bereiche zu erweitern, die für klassische Supercomputer-Simulatoren noch schwer zu bewältigen sind.
