Operatör — Hilbert uzayında lineer haritaların matris dilinde paketlenmesi

Kuantum bilgi katmanında operatör, “durumu nasıl döndürürüm veya hangi gözlem ağırlığını okurum?” sorularının paylaştığı lineer cebir nesnesidir. Devre modelinde aynı matematik kapı dizileri olarak görünür; fakat analizde bağımsız Operator nesneleri oluşturup çarpanlara ayırmak, spektrum okumak veya beklenen değerleri kapatmak sık görülür. Bu sayfa ikinci okumayı hedefler: matris boyutu, bileşke sırası, tensor yapısı ve sınıf (üniter / Hermitik) ayrımı.

Devre çiziminden analitik nesneye

Çizilen devre, zaman ekseninde uygulanan kapıların bileşkesine karşılık gelir; kütüphanede bu bileşke genelde sağdan sola okunan bir ünite olarak paketlenir. Operator ile çalışırken amaç bazen yalnızca kapıların ürününü değil, onu tensör ürünleriyle parçalamak, yerel faktörleri test etmek veya gözlemlenebilirleri Pauli cebri üzerinde açmaktır. Bu ayrıştırma, çalıştırma maliyeti veya donanım uyumu değil, cebirsel doğruluk içindir.

Yoğunluk ve statevector ile köprü

Üniter U saf durumu U|ψ⟩ yapar; yoğunlukta UρU† yazılır. Hermitik O ise ⟨O⟩ = Tr(ρO) ile okunur. Bu iki kullanım aynı Operator sınıfının farklı yorumlarıdır; yoğunluk tarafı yoğunluk matrisi, vektör tarafı statevector başlıklarında derinleşir.

Sonlu boyutlu Hilbert uzayında her lineer operatör, sabit bir ortonormal baz seçildiğinde karmaşık kare bir matrise karşılık gelir. Kuantum hesaplama kitaplıkları bu bazı çoğu zaman hesap vektörünün leksikografik sırasıyla sabitler; boyut 2^n olduğunda matris 2^n×2^n olur. Aynı fiziksel harita için baz değişimi unitary similarity ile gösterilir; pratikte Qiskit’in seçtiği sıralama ile el yazımı indeksleri çakışmamasına dikkat edilir.

Hilbert–Schmidt iç çarpımı

Operatör uzayı üzerinde doğal iç çarpım ⟨A, B⟩_{HS} = Tr(A†B) ile verilir; bu, matrisleri vektör gibi düşünürken Frobenius normu ile uyumludur. Pauli tabanında katsayılar bulmak, tomografi hatalarını ölçmek veya yaklaşık ansatzları değerlendirmek için sık kullanılır. İz’in döngüsel özelliği burada da belirleyicidir: iç çarpımı yeniden yazarken hangi faktörün adjoint alındığı izlenmelidir.

Eşlenik, transpoz ve spektrum

Hermitik operatörler O† = O koşuluyla gerçek spektruma sahiptir; gözlemlenebilir olarak yorumlanırlar. Ünitelerde spektrum modülü bir üzerindedir; bu ayrım, pozitiflik veya ünite testlerini numerik olarak çalıştırırken yol gösterir. Spektral projeksiyonlar P_k, ölçüm olasılıklarında Born ifadesine bağlanır; ölçümün klasik tarafı ölçüm teorisi sayfasında genişler.

Üniter U olasılığı korur: U†U = I. Hermitik O ölçüm sonuçlarına ağırlık verir. Projektör P hem Hermitiktir hem P² = P sağlar; rütbesi olasılık kütlesinin hangi alt uzaya düştüğünü kodlar. Bu üç aile aynı Operator nesnesiyle temsil edilebilir; fark, hangi cebirsel denetimin (ünite mi, Hermitiklik mi, idempotentlik mi) aktif olduğudur.

Pauli ve Clifford köprüsü

Tek kübitte Pauli grubu, Hermitik ve üniter olmayan ama çok kullanılan bir baz oluşturur; normalize edilmiş Pauliler Hilbert–Schmidt ortonormalidir. Clifford kapıları Pauli grubunu konjugasyonla taşır; stabilizer resmi bu simetriden beslenir. Ayrıntılı Pauli cebiri Pauli, Clifford tarafı Clifford sayfalarında işlenir; burada operatörün bu bazlarda nasıl okunduğu vurgulanır.

Pozitif operatörler ve yoğunluk

Pozitif yarı tanımlı operatörler, yoğunluk matrisinin aksiyomlarıyla aynı dilde konuşur: spektrum negatif olamaz. Hermitik gözlemlenebilir ile pozitif operatör ayrımı, hangi nesnenin “ölçülebilir ağırlık” hangisinin “durum” olduğu ayrımıdır; matematiksel nesne yine matris olabilir, fakat yorum farklıdır.

Beklenen değer ⟨O⟩ = Tr(ρO) ifadesi, operatörün duruma “yerleştirilme” biçimini özetler. Saf durumda eşdeğer olarak ⟨ψ|O|ψ⟩ yazılır; bu iki yazım arasında geçiş sırasında çarpım yönü ve adjoint’lerin yeri kritiktir. Kütüphanede compose gibi yardımcılar, devredeki zaman sırasını matris çarpımına çevirirken sıkça karıştırılan bir noktadır: sağdan sola mı, soldan sağa mı uygulanıyor, her çağrıda kontrol edilmelidir.

İz ve döngüsel yeniden yazım

İz içinde operatörleri döngüsel olarak permüte etmek, çok gövdeli sistemlerde faktörleri yan yana getirmeyi kolaylaştırır. Özellikle Tr_B ile birlikte kullanıldığında, yalnızca A tarafında yaşayan gözlemlenebilirler için ifadeyi sadeleştirmenin standart yolu budur; kısmi izin kendisi kısmi iz başlığında ayrıntılanır.

Ölçüm ve Born bağlamı

Projektör tabanlı ölçümde sonuç olasılıkları Tr(ρ P_k) biçimindedir; burada P_k operatörleri pozitif ve toplamı birime tamamlanır. POVM ve klasik post-processing katmanları ölçüm sayfalarında kalır; bu bölümde odak, O ve ρ çiftinin iz ile nasıl kapatıldığıdır.

Bağımsız alt sistemlerde birleşik operatör, tensör çarpım A ⊗ B ile kurulur; toplam boyutlar çarpılır. Bu yapı, yerel kapıların tüm register üzerinde nasıl “genişletildiğini” gösterir: tek kübitlik X, diğer bacaklarda birim ile tensörlenerek çok kübitli bir matrise büyür. İndeks ve leksikografik sıra seçimi, farklı kütüphaneler arasında hata kaynağı olabilir; karşılaştırmayı küçük boyutta kapalı form ile sabitlemek güvenlidir.

Yerel ürün ve etkileşimli kapılar

Yerel tensör ürünleri cebirsel olarak temizdir; fakat fiziksel olarak etkileşen kapılar (örneğin iki kübitlik CX) tek bir tensör ürünü olarak yazılamaz. Bu durumda operatör bütün olarak verilir veya daha ince parçalara (örneğin kontrollü kapı cebiri) ayrılır. Hangi ayrıştırmanın doğal olduğu, kullanılan hata modeli veya sentez kuralından bağımsız olarak önce lineer cebirsel gerçeği netleştirmeyi gerektirir.

Çok gövdeli okuma ipucu

Tensör ağı diyagramlarında bacak sırası, kodda tensor çağrılarının sırasına birebir bağlanmalıdır. Aksi hâlde doğru görünen bir devre, yanlış leksikografide yanlış matris üretir; bu hata sessizdir ve yalnızca küçük testlerle yakalanır.

Durumlar üzerindeki lineer haritaların kendisi de vektörleştirildiğinde daha büyük bir matris olarak yazılabilir; CPTP koşulları bu “süperoperatör” görüntüsünde Choi veya Kraus dillerine dökülür. Kuantum bilgi teorisinde kanal sınıfları ve kapasite gibi bilgi ölçütleri bu çerçevede başlar. Bu sayfa, kanalın iç matris gösterimiyle simülatörde nasıl uygulandığını anlatmaz; gürültülü yürütüm ve örnekleme gürültü simülasyonu hattında ele alınır. Buradaki rol, üniter Operator ile CPTP harita arasındaki kavramsal mesafeyi korumaktır.

Neden burada duruyoruz?

Geçerli kanallar pozitiflik ve iz korunumu gibi ek kısıtlar taşır; yalnızca her matris bir kanal değildir. Bu kısıtların kodda doğrulanması, bellek ve örnekleme stratejisiyle iç içedir ve Aer tarafının sorumluluğundadır. Kuantum bilgi sayfasında ise ünite ve gözlemlenebilir cebiri sağlamlaştırmak yeterli temeldir.

qiskit.quantum_info.Operator, yukarıdaki soyut tanımı somutlaştıran ana sınıftır: etiket dizilerinden, küçük devrelerden veya NumPy matrisinden inşa edilebilir. tensor ve compose çok kübitli sistemlerde tekrar kullanılan desenlerdir; equiv faz ve global ünite ile modding sonrası eşdeğerliği test eder. Bu API, devre çiziminden bağımsız analiz ve birim testleri için uygundur.

Devre ve matris girişleri

Küçük deneylerde from_label hızlıdır; gerçekçi senaryolarda QuantumCircuit üzerinden üretilen ünite çıkarılır. Matris doğrudan verildiğinde boyutun ve kübit sayısının tutarlı olduğu, ünite veya Hermitiklik iddiasının doğrulanması kullanıcı sorumluluğundadır; aksi hâlde beklenen değerler fiziksel olmayan durumlarda hesaplanabilir.

Sürüm ve taşınabilirlik

Yardımcı metot isimleri ve iç QuantumDimensions temsili sürümler arasında ince farklar gösterebilir. Taşınabilir notlar için küçük devrelerde beklenen matrisi sabitleyin; özellikle compose yönü ve tensör sırası dokümantasyonla eşleştirilmelidir.

Örnekler qiskit.quantum_info odaklıdır; Aer veya Sampler çağrıları yoktur.

from qiskit.quantum_info import Operator

u = Operator.from_label("H")
print("üniter?", u.is_unitary())
print("boyut", u.dim, "kübit", u.num_qubits)
print("şekil", u.to_matrix().shape)

from qiskit.quantum_info import Operator

xy = Operator.from_label("X").tensor(Operator.from_label("Y"))
print("dim", xy.dim, "kübit", xy.num_qubits)

from qiskit.quantum_info import Operator, Statevector

h, x, z = Operator.from_label("H"), Operator.from_label("X"), Operator.from_label("Z")
conj = h.compose(x).compose(h)
print("HXH ≡ Z ?", conj.equiv(z))

sv = Statevector.from_label("0")
print("⟨X⟩ |0⟩:", sv.expectation_value(Operator.from_label("X")).real)

Operatör, kuantum bilginin ortak matris dili; yoğunluk ve statevector ise aynı dilin durum tarafıdır. Ünite ve gözlemlenebilir ayrımı, tensör ve bileşke düzeni ve iz tabanlı iç çarpımlar bu sayfanın omurgasıdır. Kanal düzeyine inildiğinde çerçeve süperoperatöre genişler ve simülasyon hattına kayar.

• Pauli ve Clifford — yerel cebir ve kapı aileleri.
• Yoğunluk matrisi, statevector, kısmi iz.
• Ölçüm teorisi ve ölçüm mantığı.
• Gürültü simülasyonu — CPTP kanalların yürütümü.