Clifford grubu — Pauli cebirini koruyan ünite kapıların kapalı alt grubu

Clifford grubu, n kübitte belirli bir sonlu ünite kapı kümesinin ürettiği tüm ürünleri içerir; tanımda kritik özellik, her Pauli P için C P C† ifadesinin yine (fazlı) bir Pauli olmasıdır. Bu cebirsel kapalılık, tablo güncellemelerini mod iki lineer cebre indirger ve Gottesman–Knill ile klasik izlenebilirlik sağlar. Bu sayfa grubun ne olduğunu ve nasıl temsil edildiğini kurar; tablonun adım adım güncellenmesi ve stabilizer algoritması stabilizer sayfasında derinleşir.

Pauli ile önkoşul

Clifford eylemi Pauli uzayında tanımlanır; bu yüzden Pauli sözcükleri, komütasyon ve faz dili önce net olmalıdır. Bu temel Pauli sayfasında işlenir; burada Pauli cebirinin Clifford tarafından otomorfizm olarak nasıl taşındığı öne çıkar.

Genel ünite ve Cliffordan fark

Her Clifford ünitedir; fakat her ünite Clifford değildir. Örneğin T kapısı tek kübitte üniterdir fakat Pauli konjugasyonunu Pauli içinde korumaz; tam kuantum gücü için gereklidir. Bu ayrım, hangi alt problemlerin klasik izlenebildiğini ve hangi sentezlerin ekstra maliyet getirdiğini ayırır.

Yaygın bir jeneratör kümesi Hadamard H, faz kapısı S ve iki kübitlik CX (veya eşdeğer CNOT ailesi) ile verilir; yerel fazlar ve kübit permütasyonları ek notasyonla tamamlanabilir. Bu kapıların tüm ürünleri Clifford grubunu doldurur; grup büyüklüğü n ile üstel büyür fakat genel ünite grubuna göre yine çok küçük bir alt kümedir. Pratikte “Clifford devresi”, bu aile içinde kalan bir kapı dizisidir.

Yerel ve iki kübit etkileşimi

Tek kübit Clifford hareketleri Bloch küresinde sonlu bir simetri grubu oluşturur (tam fazlı sayımda sürüm ve global faz konvansiyonuna bağlı olarak farklı kartinaliteler görülür). İki kübit etkileşimi ise dolanıklık üretmek için gereklidir. Bu geometrik resim, hangi durumların Clifford yörüngesiyle üretilebileceğini sezmek için kullanılır; tam karakterizasyon stabilizer diliyle daha da netleşir.

Pauli olmayan kapılar

T, kontrollü fazların genel sürümleri veya rastgele sürekli açılı rotasyonlar genelde Cliffordan çıkar. Bu kapılar eklendiğinde Pauli konjugasyonu Pauli cebirinde kalmayı bırakır ve tablo güncellemeleri artık yalnızca mod iki lineer işlemlerle sınırlı değildir.

Clifford etkisi, Pauli jeneratörlerinin X_a ve Z_b tarafındaki mod iki görüntüsü üzerinde simplektik matris çarpımı olarak kodlanır; faz için ayrı bir faz vektörü tutulur. Bu temsil, kapı uygulamasını matris çarpımından çok daha düşük boyutta simüle etmeyi mümkün kılar. Qiskit tarafında symplectic_matrix ve tableau arayüzleri bu bilgiyi taşır; fakat satır işlemlerinin fiziksel yorumu stabilizer anlatımında adım adım verilir.

Karmaşıklık ipucu

Uygun veri yapısıyla bir Clifford kapısı güncellemesi çok kübitte polinom zamanda yapılabilir; bu, genel devre simülasyonunun üstel maliyetine karşı temel kazanımdır. Burada yalnızca neden polinom olduğunu işaretliyoruz; uygulama ayrıntısı stabilizer sayfasının konusudur.

Matris ile iki yönlü köprü

Küçük boyutta Clifford nesnesi ünite matrise çevrilebilir; bu, genel Operator dünyası ile test yazmak için kullanışlıdır. Büyük n için tam matris üretimi bellek açısından genelde uygun değildir; bu yüzden üretim ve doğrulama küçük örneklerle sınırlandırılmalıdır.

Bir Clifford C ve Pauli P için C P C† = ± i^k Q biçiminde yeni bir Pauli Q elde edilir; burada üs, fazın mod dört sınıfını özetler. Bu kural, hata dilinde “Pauli hatasının Clifford sonrası yine Pauli olması” ifadesinin matematiksel içeriğidir ve hata yayılımı analizinde tekrar tekrar kullanılır.

Komütasyon desenleri

Konjugasyon, Pauli komütasyon tablosu ile birlikte okunduğunda özellikle şeffaftır: hangi hata sözcüklerinin ölçümle taşındığı, hangi yönlerin korunduğu bu çerçevede sınıflanır. Detaylı Pauli cebiri Pauli başlığında; beklenen değer ve iz okumaları operatör ve yoğunluk sayfalarında tamamlanır.

Ölçüm ve rastgelelik sınırı

Clifford + Pauli ölçüm dünyasında belirli örnekleme dağılımları klasik olarak üretilebilir; bu, protokol tasarımında güçlü bir kısayoldur. Daha genel ölçüm modelleri ve shot mantığı ölçüm sayfalarında kalır.

Stabilizer resmi, belirli Pauli jeneratörlerinin eşzamanlı öz uzayını tanımlar; Clifford kapıları bu jeneratörleri simplektik çarpımla günceller. Dolayısıyla Clifford nesnesi, bir stabilizer durumunun nasıl taşındığını özetleyen kompakt bir pakettir. Tablonun nasıl güncellendiği, hangi ölçümlerin durumu projekte ettiği ve simülasyon maliyetinin polinom kalması stabilizer başlığında ayrıntılanır; burada yalnızca Clifford–stabilizer ikilisinin rol ayrımı vurgulanır.

Gottesman–Knill özeti

Clifford devreleri, belirli Pauli ölçüm protokolleriyle birlikte düşünüldüğünde, durum vektörünü açıkça yoğun biçimde tutmadan klasik olarak simüle edilebilir. Bu sonuç, Pauli ve simplektik temsilin gücüdür; genel kuantum hesaplama için yeterli değildir, fakat hata düzeltme ve doğrulama için vazgeçilmezdir.

Verilen bir Clifford için eşdeğer kapı sayısı ve topolojisi tek değildir; fakat aynı simplektik eylemi üreten devreler fonksiyonel olarak özdeştir. Kütüphaneler genelde Cliffordu kapı dizisine veya tersine tablodan devreye çeviren yordamlar sunar. Donanım tabanına oturtma veya en kısa sıra arama taban kapıları ve transpiler başlıklarında ele alınır; burada yalnızca matematiksel eşdeğerlik düzeyi hedeflenir.

Doğrulama stratejisi

Küçük n için to_matrix ile referans ünite kontrolü, büyük n için ise simplektik çarpımın tutarlılığı ayrı testlerle doğrulanır. Aynı Cliffordu farklı yollarla üretip tabloyu karşılaştırmak, faz hatalarını erken yakalamanın pratik yoludur.

Clifford.from_circuit ve Clifford.from_label (tek kübit ve sınırlı etiketler) yaygın giriş noktalarıdır. compose ve tensor çok kübit konstrüksiyonlarında kullanılır; to_operator ve to_matrix ise genel Operator dünyasına köprü kurar. Tablo erişimi için stab ve destab temsilcileri çıktıda görünür; bunların okunuşu stabilizer notasyonu ile hizalanır.

Sürüm notu

Etiket sözdizimi ve tablo iç alanları sürümler arasında ince değişebilir; taşınabilir testler için küçük devrelerde beklenen tabloyu sabitleyin.

Örnekler qiskit.quantum_info ve küçük QuantumCircuit kullanır; Aer çağrısı yoktur.

from qiskit import QuantumCircuit
from qiskit.quantum_info import Clifford

qc = QuantumCircuit(2)
qc.h(0)
qc.cx(0, 1)
cl = Clifford(qc)
print(cl)
print("kübit:", cl.num_qubits, "matris şekli:", cl.to_matrix().shape)

from qiskit.quantum_info import Clifford

h = Clifford.from_label("H")
x = Clifford.from_label("X")
print(h.compose(x))

from qiskit.quantum_info import Clifford, Operator

hi = Clifford.from_label("H").tensor(Clifford.from_label("I"))
op = hi.to_operator()
print("kübit:", hi.num_qubits, "op dim:", op.dim)

Clifford grubu, Pauli cebirini otomorfizm olarak taşıyan ünite kapıların kapalı ailesidir; simplektik tablo ve tableau ile polinom maliyetli simülasyon mümkün olur; stabilizer resmi bu hikâyenin doğal diliidir. Genel ünite, yoğunluk veya gürültü kanalları ayrı katmandır.

• Pauli ve operatör — önkoşul cebir.
• Stabilizer — tablo güncelleme ve Gottesman–Knill hattı.
• Yoğunluk matrisi — Cliffordan sonraki genel durumlar.
• Taban kapıları — donanım sentezi.