Stabilizer resmi — Pauli jeneratörlerinin ortak +1 öz uzayını kodlayan tablo dili

Stabilizer resmi, “hangi durumdayım?” sorusunu 2^n boyutlu vektör yerine, birbirini stabilize eden Pauli jeneratörlerinin verdiği kısıtlarla yanıtlar. Bu temsil, Clifford devreleri ve Pauli ölçümleri altında polinom zamanda güncellenebilir; tam kuantum gücü için gereken Cliffordan dışı kapılar genelde tabloyu kırar veya yoğun temsile zorlar. Bu sayfa tablonun anlamını ve güncelleme mantığını kurar; Clifford tanımı ve simplektik matris çerçevesi Clifford sayfasında, ölçüm protokolü detayları ölçüm teorisi ile ölçüm mantığı sayfalarında tamamlanır.

Neden vektör değil?

Stabilizer altgrubu uygun şekilde seçildiğinde, sabitlenen durum küçük bir Pauli kodunun kod kelimesi olarak düşünülebilir; tablo satırları bu kodun paritesini taşır. Vektör tabanlı simülasyon her adımda bellekte üstel boyutu taşır; stabilizer simülasyonu ise tablo genişliğiyle polinomik kalır — fakat yalnızca izin verilen kapı ve ölçüm sınıfında.

Karışık durum sınırı

Stabilizer resmi doğası gereği saf stabilizer durumları için en doğaldır. Karışık durumlar ve kısmi iz ile birlikte düşünüldüğünde, tablo tek başına yeterli olmayabilir; bu rejimde yoğunluk matrisi ve kısmi iz başlıklarına geçmek gerekir.

Bağımsız Pauli jeneratörleri S_1, …, S_k, ortak +1 öz uzayında bir kod uzayı tanımlar; bu uzayın boyutu 2^{n-k} olur. Jeneratörlerin komüt etmesi ve −1 özdeğeri taşımaması (uygun işaret konvansiyonuyla) tutarlılık için gereklidir; aksi hâlde kesişim boş veya anlamsız kalır. Kütüphanede jeneratörler çoğu zaman işaretli dize listesiyle verilir; işaret, tablodaki faz sütununun parçasıdır.

Bağımsızlık ve rütbe

Jeneratör kümesinin mod iki lineer cebirde taşıdığı rütbe, kodun koruma gücüyle ilişkilidir; bağımlı bir satır eklemek yeni kısıt getirmez. Bu kontrol, el ile kurulan stabilizer listelerini doğrularken veya hata düzeltme devrelerini okurken ilk yapılacak işlerden biridir.

Örnek: bir kübitlik kodlar

Tek kübitte Z stabilizerı |0⟩ doğrultusunu, X ise |+⟩ doğrultusunu sabitler. İki kübitte ZZ ve XX çifti Bell durumunu tanımlar; bu örnekler aşağıdaki kod laboratuvarında tekrarlanır.

Aaronson–Gottesman tarzı temsilde, her kübit için bir çift Pauli satırı taşınır: biri “destabilizer”, diğeri eşleşen “stabilizer” olarak düzenlenir. Destabilizer satırları, Clifford eylemi altında konjugasyonu takip etmek için bilgi taşır; stabilizer satırları durumun kendisini sabitleyen jeneratörleri kodlar. Qiskit çıktılarında bu ayrım dize önekleriyle okunur; fiziksel içerik, tüm satırların birlikte tuttuğu öz uzaydır.

Simplektik çiftler

Tablo, Pauli sözcüklerinin mod iki X ve Z parçalarıyla birlikte faz bilgisini saklar; Clifford kapısı uygulandığında bu parçalar simplektik matris çarpımıyla güncellenir. Bu güncelleme kuralının ayrıntılı türevi, ders kitabı düzeyinde uzundur; burada yalnızca hangi verinin taşındığı ve neden polinom kaldığı özetlenir. Clifford matris cebiri için Clifford sayfasına köprü kurulur.

Geçerlilik kontrolü

Rastgele Pauli listeleri geçerli bir stabilizer durumu vermeyebilir. Kütüphanede is_valid benzeri denetimler, tutarsız jeneratörleri erken yakalamaya yardım eder; yine de anlam fiziksel olarak liste seçimindedir.

Clifford kapısı C, Pauli jeneratörlerini C S_j C† ile taşır; stabilizer resminde bu, tablo satırlarının simplektik dönüşümü olarak uygulanır. Ardışık kapılar, tablonun aynı veri yapısı üzerinde bileşir; bu nedenle devre derinliği lineer maliyetle ölçeklenebilir. Cliffordan çıkan bir kapı eklendiğinde ise genelde yoğun temsil veya farklı bir simülasyon yöntemi gerekir.

Evolve ve eşdeğer Clifford

StabilizerState.evolve, içte eşdeğer bir Clifford eylemi uygular; çıktı yine stabilizer biçiminde kalır. Küçük testlerde sonucun, aynı devrenin Clifford nesnesiyle ürettiği tabloyla uyumlu olduğunu karşılaştırmak iyi bir doğrulama alışkanlığıdır.

Hata modeli köprüsü

Pauli hatalarının Clifford sonrası yine Pauli olması, stabilizer tablosunda hata yörüngesini izlemeyi kolaylaştırır; fakat kanalın makinede örneklenmesi ve Aer entegrasyonu gürültü simülasyonu konusudur — burada yalnızca cebirsel taşıma vurgulanır.

Bir Pauli gözlemlenebilirini ölçmek, stabilizer tablosunda satır birleştirme veya Gauss benzeri adımlarla modellenir; sonuç +1 veya −1 öz uzayı seçimine karşılık gelir ve durum uygun alt uzaya projekte olur. Ölçümle anti-komüt eden satırlar rastgele sonuç üretirken, komüt eden satırlar deterministik bilgi taşır. Bu ayrım, hata düzeltme protokollerinde “sindrom” okumasının matematiksel çekirdeğidir.

Örnekleme ve shot sınırı

Kütüphane yardımcıları örnek sayımı veya bellek çıktısı üretebilir; bu, istatistiksel ölçüm pratiğine yaklaşır. Shot histogramı ve cihaz zamanlaması ise çalıştırma katmanında kalır; teorik ölçüm postulatesi ölçüm teorisi sayfasında genişler.

Gottesman–Knill teoremi, Clifford devreleri ve Pauli ölçümlerinin (belirli koşullar altında) klasik olarak verimli simüle edilebileceğini özetler; kanıtın işletilebilir çekirdeği stabilizer tablosunun polinom güncellenmesidir. Bu, “kuantum üstünlüğü” için Cliffordan çıkmanın gerekliliğini de açıklar: aynı veri yapısı genel devrelerde sürdürülemez.

Pratikte ne kazanılır?

Doğrulama, hata düzeltme devrelerinin hızlı prototipi ve Clifford alt rutinlerinin klasik gömülü simülasyonu stabilizer yolunun tipik kazanımlarıdır. Genel devre veya yoğun tomografi gerektiğinde maliyet profili değişir; bu geçiş noktası statevector ve yoğunluk sayfalarında tartışılır.

qiskit.quantum_info.StabilizerState, devreden veya jeneratör listesinden inşa edilir; içeride eşdeğer bir Clifford temsili taşınır. evolve, expectation_value, probabilities_dict ve örnekleme yardımcıları aynı nesne üzerinde birleşir. Bu API, teori ile hızlı deney arasında köprüdür; büyük sistemlerde yine tablo boyutunun polinomlu olduğunu, fakat sabitlerin büyüyebileceğini unutmamak gerekir.

Sürüm ve tutarlılık

İşaret ve kübit sırası konvansiyonları sürümler arasında ince farklar gösterebilir; taşınır testler için küçük devrelerde beklenen tabloyu sabitleyin.

Örnekler qiskit.quantum_info kullanır; Aer veya job çağrıları içermez.

from qiskit import QuantumCircuit
from qiskit.quantum_info import StabilizerState

qc = QuantumCircuit(2)
qc.h(0)
qc.cx(0, 1)
st = StabilizerState(qc)
print(st)
print("geçerli:", st.is_valid(), "saflık:", st.purity())

from qiskit.quantum_info import StabilizerState, Pauli

st = StabilizerState.from_stabilizer_list(["ZZ", "XX"])
print(st)
print("Pauli ZZ beklentisi:", st.expectation_value(Pauli("ZZ")).real)

from qiskit import QuantumCircuit
from qiskit.quantum_info import StabilizerState, Clifford

st = StabilizerState.from_stabilizer_list(["ZZ", "XX"])
qc = QuantumCircuit(2)
qc.x(0)
c = Clifford(qc)
print(st.evolve(c))

Stabilizer resmi, Pauli jeneratörlerinin ortak +1 öz uzayını tabloyla kodlar; Clifford evrimi bu tabloyu polinom maliyetle günceller; Pauli ölçümleri sindrom ve projeksiyon diline dökülür. Genel ünite, yoğunluk ve cihaz örnekleme başka katmanlardır.

• Clifford ve Pauli — önkoşul cebir.
• Statevector ve yoğunluk matrisi — Cliffordan çıkış.
• Schmidt ayrıştırması — çok parçalı saf durum analizi.
• Gürültü simülasyonu — Pauli kanal örnekleme.