Yoğunluk matrisi — saf ve karışık durumların Hermitik operatör dilinde birleşimi

DensityMatrix hem kütüphanede hem simülatörde aynı matematiği temsil eder; fakat sorduğunuz soru bağlamı değiştirir: burada “ρ hangi cebirsel özellikleri taşır, alt sistemde ne görürüm, saflık ve entropi nedir?” soruları yanıtlanır. Simülasyon sayfasında ise “Aer hangi yöntemle, ne kadar bellek ve hangi gürültü modeliyle ρ’yu günceller?” öne çıkar.

Statevector ile ilişki

Saf durum |ψ⟩ için ρ = |ψ⟩⟨ψ| yazılır; vektör temsili statevector (kuantum bilgi) başlığında işlenir. Karışık durumda tek bir normalize vektör yeterli değildir; yoğunluk matrisi zorunlu hâle gelir.

Operatör ve Pauli köprüsü

Beklenen değerler ve Bloch bileşenleri operatör ve Pauli çerçevesiyle birleşir; burada yoğunluk üzerinden okuma vurgulanır.

Klasik belirsizlikle kuantum belirsizliğini ayıran çekirdek nokta şudur: karışık durum, yalnızca “hangi saf durumda olduğumuzu bilmediğimiz” klasik bir ansemble değil, kuantum süperpozisyonun da istatistiksel olarak bir araya gelmesine izin veren, konveks yapıda bir nesnedir. Matematiksel olarak bu, pozitif katsayılı konveks kombinasyonlarla başlar; kanalların çıktıları gibi daha genel durumlarda ise tam spektrum yerine CPTP haritaların ürettiği operatörlerle ifade edilir. ρ yalnızca bir projektörün konveks kombinasyonu olarak yazılabiliyorsa rank ve saflık sayıları ayrımı netleşir; böylece “ne kadar saf, ne kadar gerçek anlamda karışık” sorusu cebirsel ölçütlere oturur.

Derece bir (rank-1) durumlar

ρ = |ψ⟩⟨ψ| ise durum tam safdır: yoğunluk tek boyutlu bir alt uzaya projekte olur ve tüm olasılık kütlesi o doğrultudadır. Bu geometride faz bilgisini taşıyan |ψ⟩ temsili yeterlidir; aynı fizik için Statevector ile çalışmak hem bellek hem de hesaplama açısından genelde daha hafiftir. Yoğunluk diline geçmek yine de beklenen değer ve iz cebirini tek çatı altında toplamak için faydalıdır.

En az iki rank gerektiren örnekler

Yerel olarak rastgele karıştırılmış durumlar, ısı dengesine yakın küçük alt sistemler veya ortamla kısa süre etkileşen registerler çoğu zaman tam rank veya buna yakın bir spektruma sahiptir; tek bir normalize vektörle temsil etmek ya imkânsızdır ya da pratik değildir. Bu rejimde algoritma doğrulaması, tomografi veya bilgi ölçütleri hesaplanırken yoğunluk matrisi doğal bir çalışma dilidir. Bu sayfa bu cebiri işler; matrisin makinede nasıl üretildiği ve gürültüyle evrimi ise simülasyondaki yoğunluk akışı başlığında kalır.

Fiziksel bir yoğunluk operatörü üç şartı aynı anda taşır. Hermitiklik, Born olasılıklarının gerçek sayılar olmasını sağlar; pozitif yarı tanımlılık, hiçbir temel olayına negatif ağırlık verilmesini engeller; birim iz ise olasılıkların toplamının bir olmasını sabitler. Bu üçlü, kuantum bilgi protokollerinde “geçerli durum uzayı”nı tanımlar: buradan çıkan her nesne, ölçüm ve kanal teorisinde tutarlı bir başlangıç noktasıdır.

Pozitiflik testi pratiği

Düşük boyutta doğrudan özdeğer ayrıştırması veya Choi benzeri yapıların pozitifliği hızlı bir doğrulama sunar. Boyut büyüdükçe tam spektrum maliyeti artar; o zaman yarı kesin testler, rastgele yönlerde kuadratik formların işareti veya düşük rank yaklaşımları gibi yaklaşık yöntemlere geçilir. Amaç yalnızca “pozitif mi?” sorusunu makul bir güvenle yanıtlamaksa, doğruluk ile maliyet arasında bilinçli bir ödünleşme gerekir.

Geçersiz ρ üretmenin riski

Sayısal optimizasyon, varyasyonel ansatzlar veya makine öğrenmesi çıktıları bazen doğrudan bir matris olarak ρ sunar; yuvarlama veya kısıtsız parametrizasyon pozitifliği bozabilir. Böyle bir nesneyle devam etmek hem olasılıkları hem de entropi gibi nicelikleri anlamsızlaştırır; pratikte sıradaki adım, Hilbert–Schmidt veya trace mesafesi altında “en yakın geçerli yoğunluk”a projeksiyon veya SDP tabanlı onarımdır. Kuantum bilgi hattında bu onarım, simülasyondaki kanal kalibrasyonundan ayrı düşünülmelidir.

Gözlenebilir O için kuantum beklenen değeri ⟨O⟩ = Tr(ρ O) ile yazarız; bu ifade hem sürekli hem de projektif gözlemlenebilirler için aynı iskeleti verir. Projektif bir ölçüm ailesinde sonuç olasılıkları Born kuralıyla Tr(ρ P_k) biçiminde okunur. Burada amaç bu cebirin ne anlama geldiğini netleştirmektir; ölçüm sonrası klasik kayıt, shot dağılımı ve örnekleme ayrıntıları ölçüm mantığı ve yürütme katmanında ele alınır; böylece bilgi teorisindeki formül ile devre çalıştırma pratiği üst üste binmeden yan yana durur.

İz’in döngüsel özelliği

İz’in döngüsel permütasyon altında kalması, Tr(AB) ve benzeri ifadeleri yeniden düzenlemeyi mümkün kılar; beklenen değer türevleri, hata barları veya gradyan hesaplarında bu özellik sık kullanılır. Tensör ağı diyagramlarında veya çok gövdeli indeks notasyonunda ise sıra hatası sessiz ama pahalı hatalara yol açar: hangi uzayın izlendiği ve hangi operatörün hangi bacakta kaldığı her adımda açık tutulmalıdır.

Kısmi iz ile bağlantı

A üzerinde tanımlı bir gözlenebilir için tam sistem yoğunluğu yerine, önce B üzerinden iz alınmış ρ_A kullanılır; beklenen değer Tr(ρ (O_A ⊗ I_B)) ile Tr(ρ_A O_A) aynı bilgiyi verir. Bu indirgeme, dolanıklıkta “yerel” okumaların neden global spektruma duyarlı olduğunu da açıklar; teknik ayrıntılar alt sistem ve kısmi iz bölümündedir.

Saflık γ = Tr(ρ²), spektral ağırlıkların ne kadar yoğunlaştığını özetler: tam saf durumda γ = 1, maksimal karışık durumda γ = 1/d (boyut d). Aradaki değerler, klasik belirsizlik ile kuantum süperpozisyonunun birlikte varlığının bir ölçüsüdür. Tek kübitte her ρ, Pauli bazında ρ = (I + r·σ)/2 ile Bloch küresinde (veya gerçek qubit normalizasyonunda elipsoidde) bir r vektörüne karşılık gelir; saf durumlar yüzeyde, gerçek karışımlar iç bölgelerdedir.

Pauli beklentileri ile r

Bileşenler r_i = Tr(ρ σ_i) ile okunur; bu, Pauli operatörlerinin ortonormal bir Hermitik set oluşturmasından gelen doğal koordinatlardır. Qiskit tarafında yoğunluk nesnesi üzerinden beklenti yardımcıları bu izleri doğrudan hesaplatır. Böylece Bloch görüntüsü, soyut matrisle görsel geometri arasında hızlı bir köprü kurar.

Çok kübitte Bloch yetersiz

İki ve daha fazla kübitte tek bir üç boyutlu r vektörü, genel durumun tamamını taşıyamaz; dolanıklık, çapraz terimler ve daha yüksek Pauli momentleri devreye girer. Küresel veya tensörel saflık ölçütleri, farklı kesitlerde farklı hikâyeler anlatır. Bu yüzden çok gövdeli analizde ya tam yoğunluk ya da düşük parametre aileleri (örneğin stabilizer veya tensor network ansatzları) tercih edilir.

von Neumann entropisi S(ρ) = -Tr(ρ log ρ), log tabanı seçimine göre birim değişse de, spektral ağırlıkların ne kadar yayıldığını özetleyen standart bir karışıklık ölçüsüdür. Tam saf durumda tek bir özdeğer bir olduğundan S(ρ)=0 olur; maksimal karışık durumda ise log d değerine ulaşır (aynı tabanda). Rényi ailesi ve koşullu entropi gibi genişlemeler entropi sayfasında derinleştirilir.

Alt sistem entropisi

Bileşen A için entropi dendiğinde kastedilen nicelik genelde S(ρ_A) olur; dolanıklıkta S(ρ_A) ile S(ρ_B) birlikte okunduğunda, örneğin karşılıklı bilgi veya entanglement entropisi gibi özetler ortaya çıkar. Bu hesapların tamamında önce tam ρ_{AB} üzerinden doğru kısmi izin alınması gerekir; aksi hâlde görünen “yerel entropi” tutarsız olur.

Simülasyonda gürültü ile karıştırmayın

S(ρ) ile termodinamik entropi veya Shannon entropisi arasında kavramsal akrabalık vardır ama ölçüm tanımları farklıdır. Burada konuştuğumuz nicelik, durumun spektral yapısından okunur. Aer tabanlı gürültü simülasyonu ise kanallarla örneklenmiş yürütmeyi modeler; aynı anda hem kanal çıktısının yoğunluğunu hem de onun von Neumann entropisini düşünmek mümkündür, fakat ikisi farklı katmanlardır: biri fiziksel model, diğeri o modele düşen durumun bilgi özetidir.

Bütün sistem AB için verilen ρ_{AB} üzerinden, yalnızca A tarafındaki efektif durum ρ_A = Tr_B(ρ_{AB}) kısmi iz ile tanımlanır. Bu işlem doğrusaldır ve her CPTP haritayla uyumludur; ancak ters yönde yeni bilgi üretmez: B üzerindeki korelasyonlar ortadan kalkar. Dolayısıyla dolanıklık entropisi, karşılıklı bilgi veya koşullu entropi gibi ölçütler, tam da bu indirgenmiş spektrum üzerinden konuşulur.

Schmidt ve düşük rank

İki parçalı bir saf durumda Schmidt ayrıştırması, kısmi izlerin özdeğerlerini ortaya çıkaran ortak bir dil sunar; rank ve dolanıklık genişliği hakkında sezgisel okuma sağlar. Kısmi izin spektrumu, hangi ortak bilginin kaybolduğunu ve hangi modların baskın olduğunu tek bakışta gösterir. Bu geometrik resim için Schmidt ayrıştırması sayfasına geçmek doğaldır.

Uygulama notu

Qiskit’te hangi kübitlerin izleneceğini belirleyen API ayrıntıları sürümler arasında değişebilir; taşınabilir bir not için küçük devrelerde beklenen boyut ve iz değerlerini birim test veya referans çıktıyla sabitlemek iyi bir alışkanlıktır. Yoğunluğun kendisi soyut nesne olarak burada kalır; büyük sistemlerde bellek ve süre maliyeti ise yine simülasyon tarafındaki yoğunluk yürütümü ile birlikte değerlendirilir.

Örnekler yalnızca qiskit.quantum_info kullanır; Aer içe aktarılmaz.

from qiskit.quantum_info import DensityMatrix
import numpy as np

pure = DensityMatrix.from_label("+")
mix = DensityMatrix(np.eye(2, dtype=complex) / 2)

print("Tr saf:", pure.trace(), "Tr karışık:", mix.trace())
print("purity saf:", pure.purity(), "purity karışık:", mix.purity())

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

qc = QuantumCircuit(2)
qc.h(0)
qc.cx(0, 1)
rho = DensityMatrix(qc)

rho_b = partial_trace(rho, [0])
print("S(ρ_B) bit:", entropy(rho_b, base=2))

from qiskit.quantum_info import DensityMatrix, Pauli

rho = DensityMatrix.from_label("0")
for axis in "XYZ":
    p = Pauli(axis)
    print(axis, rho.expectation_value(p).real)

Yoğunluk matrisi, kuantum bilginin ortak dili olan ρ temsilidir; saf vektör onun özel durumudur. Simülasyon tarafında aynı nesne yürütme ve kanallarla buluşur; bağlamı karıştırmamak için sayfa sınırını baştan sabitleyin.

• Yoğunluk matrisi simülasyonu — Aer ve yürütme.
• Statevector (kuantum bilgi), kısmi iz, entropi.
• Ölçüm mantığı, ölçüm teorisi.
• Klasik simülasyon maliyeti.