מושגי ליבה
Die Vollständigkeit der Rewrite-Regeln für das Toffoli-Hadamard-Fragment der Quantenmechanik.
תקציר
Die Arbeit von Renaud Vilmart untersucht die Vollständigkeit der Rewrite-Regeln für das Toffoli-Hadamard-Fragment der Quantenmechanik. Es werden neue Rewrite-Regeln vorgestellt, die für das Fragment vollständig sind. Die Verbindung zwischen Sum-over-Paths und dem graphischen ZH-Kalkül wird genutzt, um die Vollständigkeit zu zeigen. Es werden auch Verallgemeinerungen der Rewrite-Regeln präsentiert, die nützlich sind, um Terme in der Praxis zu reduzieren. Die Arbeit zeigt, wie der Rewrite-System angereichert werden kann, um die Vollständigkeit für die dyadischen Fragmente der Quantenberechnung zu erreichen. Es wird erklärt, wie Summen und Verkettungen beliebiger Terme durchgeführt werden können, was wichtig ist, wenn man Hamilton-basierte Quantenberechnung in Betracht zieht.
Struktur:
Einführung
Summen-Über-Pfade
ZH-Kalkül
Vollständigkeit für das Toffoli-Hadamard-Fragment
Erweiterung auf dyadische Fragmente
Kontrolle von beliebigen Termen
סטטיסטיקה
Die "Sum-Over-Paths" Formalismus wurde 2018 von Amy eingeführt.
Die Rewrite-Regeln sind vollständig für das Toffoli-Hadamard-Fragment der Quantenmechanik.
Die Verbindung zwischen Sum-over-Paths und dem graphischen ZH-Kalkül wird genutzt, um die Vollständigkeit zu zeigen.
ציטוטים
"Die Rewrite-Regeln sind vollständig für das Toffoli-Hadamard-Fragment der Quantenmechanik."