Pauli — Hermitik ve üniter tek kübit kapıları ile çok kübitli Pauli sözcüklerinin cebirsel iskeleti

Pauli nesnesi, çok kübitli sistemlerde tekrar eden üç deseni birleştirir: kısa etiket dizisiyle yazılan sözcük, arka planda saklanan simplektik ikili (X ve Z parçalarının mod iki cebiri) ve çarpımlarda ortaya çıkan faz (±1, ±i). Bu üçlü, hem hızlı simülasyon (özellikle Clifford yolu) hem de gözlem ve tomografi için ortak bir dil sağlar. Bu sayfa bu dili kuantum bilgi açısından kurar; aynı harflerin devre çiziminde kapı olarak çizilmesi veya gürültü modelinde kanal olarak seçilmesi ayrı katmanlardır.

Operatör temsilinden ayrım

Her Pauli sözcüğü, belirli bir faz işaretine kadar bir üniter ve Hermitik Operator ile özdeşleştirilebilir; fakat grup çarpımında fazlar birikir ve yalnızca matrise bakarak görünmez. Bu yüzden Pauli sınıfı, genel Operator üzerinde ek yapı taşır. Genel lineer cebir ve bileşke düzeni için operatör sayfasına; yoğunluk üzerinden okuma için yoğunluk matrisi başlığına geçmek doğal tamamlayıcılardır.

Simülasyon ve donanım sınırı

Pauli tabanlı hata modelleri ve örnekleme, çoğu zaman Aer veya çalıştırıcı API ile birlikte düşünülür; bu, kanalın hangi olasılıkla hangi Pauli sözcüğünü uyguladığını sorar. Burada ise sözcüklerin cebirsel ilişkileri öne çıkar: komütasyon, bağımsızlık, taban genişlemesi. Gürültü hattı gürültü simülasyonu sayfasında kalır.

Dört matris I, X, Y, Z'nin hepsi hem Hermitik hem üniterdir; böylece öz uzaylarında spektral değerler gerçektir ve modül bir koşulu otomatik sağlanır. X, Y, Z için özdeğerler ±1 ve iz sıfırdır; I ise tam özdeğer bir olan kimliktir. Çarpım tablosu döngüsel fazlarla birlikte küçük bir gruptur: örneğin XY ile YX aynı matrisi vermez; aralarında bir faz farkı vardır. Bu fazların sistematik takibi, çok kübitte hata düzeltme ve stabilizer denetiminde merkeze oturur.

Komütasyon tek kübitte

Farklı Pauliler (örneğin X ile Z) tek kübitte anti-komüt eder; aynı operatör veya birinin kimliğe indirgenmesi durumunda komütasyon elde edilir. Bu basit tablo, çok kübitte sözcüklerin nerede çakıştığına bakılarak genelleştirilir: destek kümelerinde çift sayıda anti-komütasyon geçişi varsa komütasyon, aksi hâlde anti-komütasyon elde edilir.

Bloch eksenleri

Normalize Pauliler, Bloch küresindeki eksenlere karşılık gelir; beklenen değerler Tr(ρ σ_i) ile okunur. Tek kübitte yoğunluk veya statevector üzerinden bu izler doğrudan geometrik bileşenleri verir; çok kübitte ise yalnızca yerel Pauli okumaları anında global dolanıklığı özetlemez.

n kübit için Pauli sözcüğü, n harflik bir dizedir; her konum I, X, Y, Z harflerinden birini taşır. Bu yazım, tensör ürün sırasını soldan sağa (kübit indeksine göre) kodlar; farklı kütüphaneler tensör sırasını değiştirebilir, bu yüzden küçük örneklerle etiketi doğrulamak önemlidir. Sözcüğün ağırlığı, I olmayan konumların sayısıdır; yalnızca yerel etkileşimleri modelleyen hatalar düşük ağırlıklı sözcüklerle başlar.

Destek ve yerellik

Bir Pauli sözcüğünün desteği, I olmayan kübitlerin kümesidir. İki sözcük komüt ediyorsa, genellikle destek üzerindeki çakışma deseni ve X/Z pariteleri uyumludur; anti-komütasyon ise özellikle ölçüm sırası ve hata yayılımı analizinde belirleyicidir.

Pauli ve tensör ürünü

Çok kübitli Pauli, tek kübitlik faktörlerin tensör ürünüdür; kütüphanede bu çoğu zaman etiket birleştirme veya tensör API ile kurulur. Yerel kapı ile çok kübitli Pauli arasındaki fark, birinin tensör ürününün ayrık, diğerinin ise bileşik etkileşim (örneğin CX) gerektirmesi değildir — Pauli her zaman ayrıktır; etkileşimli üniteler Pauli sözcüğü olarak yazılamayabilir.

Pauli sözcükleri, mod iki lineer cebir üzerinde X ve Z parçalarının birleşimi olarak da kodlanır; çarpım bu uzayda neredeyse lineerdir, fakat faz terimi eklenir. Bu simplektik görünüm, Clifford eyleminin doğrusal olduğu dünyayı açar. Pratikte compose çağrısı bu fazı sizin için yönetir; yine de iki sözcüğün commutes çıktısı ile birlikte düşünmek, hata analizinde zihinsel modeli netleştirir.

Pauli grubu ve fazlar

Tam Pauli grubu fazlarıyla birlikte sonlu değildir; fakat sabit kübit sayısında, fazları ±1, ±i ile sınırlayan bir projektif resim elde edilir. Bu fazların birikmesi, aynı devreyi farklı Pauli yollarıyla hesaplarken tutarlılık denetimine dönüşür.

Projektörler ve yan ürünler

Pauli kombinasyonları, özellikle (I ± P)/2 biçiminde, ilgili Pauli yönündeki projektörlere dönüşür (normalize ve Hermitiklik koşullarıyla). Bu yazım, ölçüm sonrası durumları ve filtreleri yoğunluk dilinde ifade etmek için kullanılır.

n kübitlik Hermitik operatörler, Pauli sözcükleri üzerinde gerçel katsayılarla (ve gerektiğinde toplam Hermitikliği korumak için yapı kısıtlarıyla) genişletilebilir. Hilbert–Schmidt iç çarpımında farklı normalizasyonlar dolaşır; tutarlı bir kural seçip tüm zincirde aynı katsayıyı kullanmak gerekir. Qiskit tarafında beklenti yardımcıları, kullanıcıya uygun normalize Pauli ile sonuç döndürür; tomografi veya optimizasyonda ise el ile kurduğunuz katsayı dizisini kontrol listesiyle sabitlemek iyi bir alışkanlıktır.

Tomografi ve okuma

Deneysel olarak erişilen veri çoğu zaman sınırlı Pauli beklenen değerlerinden oluşur; tam yoğunluk bu küme geniş olduğunda pahalıdır. Hangi sözcük kümesinin yeterli olduğu, rank veya ansatz varsayımlarına bağlıdır; süreç tomografisi süreç tomografisi başlığında ayrı ele alınır.

Hamiltonyen ayrıştırma köprüsü

Birçok fizik modeli, Hamiltonyenin Pauli açılımı olarak yazılmasını önerir; katsayılar enerji ölçeğini taşır. Bu sayfa varyasyonel simülasyon veya Trotter ayrıştırmayı anlatmaz; fakat Pauli tabanının neden doğal bir dil olduğunu gösterir.

Hermitik Pauli P için ⟨P⟩ = Tr(ρ P) ifadesi, ilgili eksen veya korelasyon hakkında doğrusal bilgi verir. Ölçüm protokolünde aynı nicelik, örnekleme ve klasik post-processing ile tahmin edilir; burada ise tanım düzeyinde kalırız. POVM ve enstrümantasyon ayrıntıları ölçüm teorisi ile ölçüm mantığı sayfalarına bırakılır.

Yerel vs çapraz Pauli

ZI veya IZ gibi okumalar tek kübit marjinaline projekte bilgi taşır; ZZ, XX gibi çapraz terimler dolanıklık imzalarını yansıtır. Bu ayrım, hangi hatanın hangi sözcükle görünür olduğunu sınıflandırırken kullanılır.

Statevector ve yoğunluk

Saf durumda beklenti, vektör cebiriyle de yazılabilir; karışık durumda iz ifadesi zorunlu hâle gelir. Her iki durumda da Pauli nesnesi aynı arayüzle çalışabilir; bu birleşim, protokol kodunu sadeleştirir.

Stabilizer resmi, belirli bir Pauli alt grubunun sabitlediği durumları tanımlar; gözlem ve simülasyon bu alt grup çarpımı altında verimli kalır. Clifford kapıları, Paulileri konjugasyonla başka Paulilere taşır; bu nedenle Pauli sözcükleri, Clifford tabanlı hata analizinin omurgasıdır. Ayrıntılı grup eylemi ve stabilizer cebiri Clifford ve stabilizer sayfalarında derinleşir; burada Pauli tarafının bu resimdeki rolü vurgulanır.

Gottesman–Knill ve klasik izlenebilirlik

Clifford + Pauli ölçüm dünyası, Gottesman–Knill çizgisinde klasik olarak izlenebilir; bu verimlilik, Pauli ve simplektik temsilin gücüdür. Genel devrelere geçildiğinde aynı kısayol kapanır; Pauli tabanı yine anlamlıdır fakat yürütüm maliyeti artar.

Örnekler qiskit.quantum_info üzerindedir; Aer veya örnekleme çağrıları içermez.

from qiskit.quantum_info import Pauli, Statevector

p = Pauli("ZI")
print(p, "kübit:", p.num_qubits)
sv = Statevector.from_label("11")
print("<ZI>:", sv.expectation_value(p).real)

from qiskit.quantum_info import Pauli

a, b = Pauli("IX"), Pauli("XI")
print("IX ile XI komüt mu?", a.commutes(b))
print("X ile Z?", Pauli("X").commutes(Pauli("Z")))

from qiskit.quantum_info import Pauli

prod = Pauli("X").compose(Pauli("Y"))
print("X·Y =", prod)

Pauli sözcükleri, kuantum bilginin hafif ve yapılandırılmış dilidir: çarpım ve komütasyon fazlarla birlikte yönetilir; beklenen değerler ve tomografi bu dil üzerinden okunur; stabilizer ve Clifford dünyası bu cebirin doğrudan devamıdır. Gürültü modellemesi ve donanım eşlemesi ise ayrı katmandır.

• Operatör ve yoğunluk matrisi — genel lineer çerçeve ve Tr(ρP) okumaları.
• Clifford, stabilizer, süreç tomografisi.
• Gürültü simülasyonu — Pauli kanalları ve örnekleme.
• Statevector ve kısmi iz — marjinal ve çapraz okumalar.