Die Gruppe der unitären Operatoren, die die Pauli-Gruppe normalisieren; das heißt, U ist in der Clifford-Gruppe, wenn für jedes Pauli P gilt: UPU† ist wieder ein Pauli (bis auf Phase); auf n Qubits wird sie durch Tore wie Hadamard, Phase (S) und CNOT erzeugt.

Prinzip

Clifford-Unitäre erhalten die Pauli-Struktur unter Konjugation, bilden Pauli-Fehler auf Pauli-Fehler ab und Stabilizer-Zustände auf Stabilizer-Zustände; diese algebraische Invarianz ermöglicht eine effiziente klassische Nachverfolgung bestimmter Quantenprozesse.

Demonstration

Ein Schaltkreis, der nur aus H-, S- und CNOT-Toren besteht, verwandelt konjugativ Rechenbasis-Pauli-Operatoren in andere Pauli-Operatoren; Stabilizer-Zustände bleiben Stabilizer-Zustände und lassen sich effizient mittels Stabilizer-Formalismus simulieren.

Fehlanwendung

Anzunehmen, die Clifford-Gruppe sei universell für Quantenberechnung oder könne beliebige nicht-Clifford-Phasen erzeugen, führt zu Überschätzung der Rechenleistung und zum Versagen bei der Vorbereitung von Zuständen, die nicht-Clifford-Ressourcen benötigen.

Konsequenz

Richtige Anwendung identifiziert eine Klasse von Schaltkreisen (Stabilizer-Schaltkreise), die effizient klassisch simulierbar sind, vereinfacht die Analyse der Fehlerausbreitung und bildet das Rückgrat vieler Fehlerkorrektur- und Fehlertoleranzprotokolle.

Umkehrung

Ersetzt man Clifford-Operationen durch beliebige Unitaren, geht die Pauli-erhaltende Eigenschaft verloren und damit die effiziente Simulierbarkeit und Stabilizer-Struktur; das System wird zur vollständigen quantenmechanischen Universalität, die zusätzliche Ressourcen erfordert.

Abgrenzung

Die Clifford-Gruppe ist eine echte Untergruppe der unitären Gruppe; sie ist modulo globaler Phase definiert und schließt keine nicht-Clifford-Gatter wie T ein, die für die Universalität bei Qubits nötig sind.

Semantische Spannung

Spannung besteht zwischen der operationellen Sicht als Gattermenge (H, S, CNOT) und der algebraischen Normalisator-Definition; beide beschreiben dieselbe Gruppe, betonen aber unterschiedliche praktische oder strukturelle Aspekte.

Synthese

Die Clifford-Gruppe ist die Menge der Unitaren, die die Pauli-Gruppe durch Konjugation auf sich selbst abbilden: algebraisch der Normalisator von Pauli, operationell die Gatterklasse der Stabilizer-Schaltkreise, die Stabilizer-Struktur bewahrt und effiziente klassische Nachverfolgung ermöglicht, aber allein nicht universell ist.