Ölçüm teorisi — Born olasılıkları, durum güncellemesi ve genel POVM çerçevesi

Ölçüm teorisi, soyut Hilbert uzayı ve operatör cebiri dilinde “hangi sonuçların hangi olasılıkla görüleceği” ve “sonrasında hangi durum geçerlidir” sorularını yanıtlar. Devre grafiğinde ölçüm komutunun yürütülme sırası, klasik kontrol akışı ve donanım kısıtları ölçüm mantığı başlığında kalır; süreç tomografisindeki SPAM modeli süreç tomografisi sayfasında anılır.

Saf ve karışık

Born olasılıkları hem saf ket hem de karışık yoğunluk için aynı Tr(ρ·) cümlesiyle yazılır; karışıklık, aynı dağılımı birden fazla dış kaynakla üretilebilir kılar. Yoğunluk aksiyomları ve temsiller yoğunluk matrisi başlığındadır.

Örneklem ve shot

Pratikte olasılıklar frekanslarla tahmin edilir; örneklem varyansı ve Aer arka uçları bu sayfanın matematiksel çekirdeğinden ayrılır. Olasılıkların kendisi yine Born ile tanımlanır.

Hermitik bir gözlemlenebilir O için beklenen değer ⟨O⟩ = Tr(ρ O) olarak tanımlanır. Projektif ölçümde sonuç etkileri ortogonal projektörler P_k ise, sonuç k için gelme olasılığı p(k) = Tr(ρ P_k) ile verilir; bu ifade genel POVM etkileri E_k için p(k)=Tr(ρ E_k) biçimine genişler.

Özdeğer yorumu

O spektral ayrıştırıldığında, beklenen değer ağırlıklı özdeğer toplamı olarak okunur; ölçüm sonrası klasik kayıt hangi öz uzaya düştüyse, koşullu durum tartışması aşağıdaki Lüders bölümünde açılır.

Pauli okumaları

Tek kübitte X, Y, Z beklentileri Bloch vektörü ile ilişkilidir; çok kübitte tensör ürünü gözlemlenebilirler doğrudan Tr(ρ ·) ile hesaplanır. Ayrıntılı cebir Pauli sayfasındadır.

Projektif modelde, sonuç k gözlenirse (olasılığı sıfırdan büyükse) sonrası durum ρ → P_k ρ P_k / Tr(ρ P_k) ile güncellenir; bu, Lüders kuralının karışık durumdaki ifadesidir. Saf durumda ve P_k tek boyutlu bir projektör ise ifade bir normalize ket güncellemesine indirgenir.

Dejenerasyon

Aynı özdeğere ait birden fazla boyut varsa, proje alt uzayı birden fazla boyuta sahiptir; sonrası durum bu alt uzayın içinde kalır ve ölçüm çözünürlüğü tam olmayabilir. Uygulamada hangi fiziksel bazın seçildiği donanım ve kalibrasyonla bağlantılıdır.

Ölçüm ve entropi

Ölçüm, durumun klasik–kuantum bileşimini değiştirir; sonuç dağılımının entropisi ile kanal entropileri entropi başlığında ayrı işlenir; burada yalnızca olasılık ve sonrası yoğunluk köprüsü kurulur.

POVM (pozitif operatör değer ölçümü), pozitif yarı tanımlı etkiler E_k ≥ 0 ile Σ_k E_k = I koşulunu sağlar; projektif ölçüm, ortogonal projektörlerin özel durumudur. Genel POVM, fiilen tamamlanmış bir ortamla birlikte düşünülen projektif ölçüme indirgenebilir (Naimark görüşü); uygulama detayları bu sayfada genişletilmez.

Kıyaslama ve bilgi kazancı

Farklı POVM tasarımları aynı ρ için farklı sonuç ayrıştırmaları üretir; “hangi sorunun cevabı” tasarım meselesidir. Kuantum bilgi protokollerinde optimal ölçüm seçimi ayrı bir konudur.

Qiskit sınırı

Standart devre ölçümü çoğu zaman Pauli-Z diyagonal bazında okunur; genel POVM, devreye yardımcı kübitler veya rastgeleleştirilmiş ölçüm dizileri ile modellenir. Bu uygulama katmanı yine ölçüm mantığı tarafında somutlaşır.

Birleşik sistemde tam ölçüm dağılımı, seçilen ortonormal bazda Born ile hesaplanır. Yalnızca bir alt kümenin ölçüldüğü veya tam sonuçların marjinalleştirildiği durumda, klasik sonuç dağılımı ilgili marjinal yoğunluktan okunur; bu yoğunluk Tr ile düşürülmüş bileşik durumdan gelir.

Kısmi iz bağlantısı

Yerel Pauli beklentileri veya yerel standart baz olasılıkları, doğru marjinal üzerinden hesaplanmalıdır; aksi hâlde çapraz terimler yanlış yorumlanır. İndeks disiplini kısmi iz başlığında vurgulanır.

Dolanıklık ve korelasyon

Bell tipi durumlarda tam dağılım ile marjinal dağılımlar farklı “klasik” sezgiler sunar; Schmidt ayrıştırması Schmidt ayrıştırması başlığında iki parçalı saf durumların spektral özeti verilir.

Statevector ve DensityMatrix nesneleri, hesaplama bazında olasılık sözlükleri ve gözlemlenebilir beklentileri üretmek için kullanılır; bu, Born kuralının doğrudan sayısal yansımasıdır. Küçük endian kübit sırası olasılık anahtarlarının dizilimini belirler.

Beklenti ve gözlemlenebilir

SparsePauliOp ile ifade edilen Pauli (veya tensörlenmiş) gözlemlenebilirlerin beklenen değeri, iz tanımıyla uyumludur. Matris çarpımı disiplini operatör sayfasıyla örtüşür.

Vektör ve yoğunluk seçimi

Saf durumlar için vektör temsil yeterlidir; ölçüm sonrası karışık senaryolar veya alt sistem okumaları yoğunluk gerektirir. Vektör API özeti Statevector sayfasındadır.

Örnekler qiskit.quantum_info ile Born olasılıklarını ve beklenen değerleri doğrudan hesaplar; measure veya Aer çağrısı yoktur.

from qiskit import QuantumCircuit
from qiskit.quantum_info import Statevector

qc = QuantumCircuit(1)
qc.h(0)
sv = Statevector(qc)
print("Z bazinda (hesaplama) olasiliklar:", sv.probabilities_dict())

from qiskit import QuantumCircuit
from qiskit.quantum_info import DensityMatrix, SparsePauliOp

qc = QuantumCircuit(1)
qc.h(0)
rho = DensityMatrix(qc)
print("exp Z:", rho.expectation_value(SparsePauliOp("Z")).real)
print("exp X:", rho.expectation_value(SparsePauliOp("X")).real)

from qiskit import QuantumCircuit
from qiskit.quantum_info import DensityMatrix, Statevector, partial_trace

qc = QuantumCircuit(2)
qc.h(0)
qc.cx(0, 1)
sv = Statevector(qc)
rho = DensityMatrix(sv)
print("Birlesik Z baz:", sv.probabilities_dict())
print("A marjinali (B izlendi):", partial_trace(rho, [1]).probabilities_dict())

Ölçüm teorisi Born ve (projektif durumda) Lüders ile özetlenir; devre ve donanım gerçekliği ölçüm mantığı ve tomografi sayfalarında tamamlanır.

• Ölçüm mantığı — measure, klasik bit ve akış.
• Operatör ve Pauli — Tr(ρO) hesap disiplini.
• Kısmi iz ve yoğunluk matrisi — marjinal ve karışık durum.
• Süreç tomografisi — SPAM ve kanal tahmini.