Kuantum Durumları
Bir kuantum sistemi hakkında bilebileceğin her şey durumunun ne olduğuna bağlıdır: hangi kapıları uygulayabileceğin ve ölçtüğünde ne göreceğin durumun tanımından çıkar. Bu derste kuantum durumunu sıfırdan kuracağız: |ψ⟩ gösterimi, genlikler, normalizasyon koşulu, küresel evre ve çok kübitli durumlar. Bu ders, Kuantum Hesaplama dersleri serisinde Kuantum Mekaniği ünitesinin ilk halkasıdır; önceki ünitede iki sistemi birleştirmenin matematiğini veren Tensor ve Kronecker Çarpımı dersini burada yoğun biçimde kullanacağız.
Kuantum Durumu Nedir?
Klasik fizikte bir sistemin durumu, ölçülebilir özelliklerinin tam listesidir: klasik bitin durumu ya 0 ya da 1'dir ve bu değeri bilmek, bilinebilecek her şeyi bilmek demektir. Kuantum fizikte durum başka bir şeydir: bir sistemin kuantum durumu, o sistem üstünde yapılabilecek her ölçümün olasılık dağılımını belirleyen matematiksel bir nesnedir. Bu nesne, kompleks sayılar üstünde tanımlı bir vektör uzayındaki (Hilbert uzayı) bir vektördür. Tek bir kübit için bu uzay iki boyutludur; boyutları geren taban vektörlerine |0⟩ ve |1⟩ yazarız, bu ikiliye de hesaplama tabanı denir. Genel bir durum şöyle yazılır: |ψ⟩ = α|0⟩ + β|1⟩. |ψ⟩ gösterimi Paul Dirac'tandır, psi-ket okunur; özünde (α, β) bileşenli bir sütun vektördür.
Durumu bilmek, tam olarak α ve β genliklerini bilmek demektir; arkada saklı başka bilgi yoktur. Genliklerin ikisi de sıfırdan farklıysa sistem iki taban durumunun üst üste binimindedir; bu düzeneğe süperpozisyon denir ve ayrı bir dersin konusudur: bkz. Süperpozisyon. Bir uyarı: |0⟩ ve |1⟩ tek geçerli taban değildir; seçtiğin taban, ölçüm aygıtının hangi soruyu sorduğuna karşılık gelir.
Genlikler, Olasılıklar ve Normalizasyon
Genlikler α ve β kompleks sayılardır ve fizik doğrudan onlardan okunmaz. Hesaplama tabanında ölçtüğünde |0⟩ sonucunu |α|², |1⟩ sonucunu |β|² olasılıkla görürsün; bu olasılık kuralının tam adı Born Kuralı'dır, ölçümün durumda bıraktığı iz ise Kuantumda Ölçüm dersinin konusudur. Olasılıkların toplamı 1 olmalıdır; koşul şudur: |α|² + |β|² = 1. Bunu zarif yazmak için her ketin karşılığı bir bra vardır: ⟨ψ|, ψ'nin eşlenik devriği olan satır vektörüdür — ψ = (α, β) ise ⟨ψ| = (α*, β*). İç çarpım ⟨ψ|ψ⟩ = α*α + β*β = |α|² + |β|² olur; yani normalizasyonun kompakt hâli ⟨ψ|ψ⟩ = 1'dir. Benzer biçimde ψ ile φ'nin örtüşmesi |⟨φ|ψ⟩|² ile ölçülür. Mutlak kare almanın eşleniği içeriden yok ettiğini unutma: i gibi sanal çarpanlar olasılıklarda iz bırakmaz.
Küçük bir hesapla oturtalım. |ψ⟩ = (1/2)|0⟩ + (i√3/2)|1⟩ olsun. Birinci adım: |α|² = (1/2)² = 1/4. İkinci adım: |β|² = |i√3/2|² = (√3/2)² = 3/4; i, mutlak değer alınca yok olur. Üçüncü adım: 1/4 + 3/4 = 1 — durum normalize, yani geçerli. Ölçtüğünde %25 olasılıkla 0, %75 olasılıkla 1 görürsün. Dikkat: olasılıklar hep gerçek sayıdır; ama onları üreten genlikler kompleks olabilir.
Küresel Evre ve Görece Evre
Bir durumu e^(iθ) gibi birim büyüklükte bir kompleks sayıyla çarparsan ne değişir? Genlikler e^(iθ)α ve e^(iθ)β olur; ama |e^(iθ)α|² = |α|² olduğu için tüm olasılıklar aynı kalır. Bu yüzden |ψ⟩ ile e^(iθ)|ψ⟩ aynı fiziksel durumdur; θ'ya küresel evre denir ve gözlenemez. Buna karşılık genlikler arasındaki evre farkı — Arg(β) − Arg(α), yani görece evre — gözlenebilirdir. Örneğin (|0⟩ + |1⟩)/√2 ile (|0⟩ − |1⟩)/√2 hesaplama tabanında aynı %50-%50 olasılıklarını verir; ama başka bir tabanda ölçersen ikisi tamamen ayrışır; bu fark girişim düzeneğinde görünür, ayrıntı Kuantum Girişimi dersinde.
Tek kübitin durumlarını görselleştirmenin standart yolu Bloch Küresi'dir: her durum, birim kürenin üstünde bir noktadır. |0⟩ kuzey kutbunda, |1⟩ güney kutbunda durur; ekvator üstündeki noktalar (|0⟩ + e^(iφ)|1⟩)/√2 biçimindeki durumlara karşılık gelir. Küredeki konum, iki genliğin büyüklük oranını ve görece evreyi kodlar. Küresel evre ise bu kürede hiçbir yere denk gelmez — tam da gözlenemediği için.
Çok Kübitli Durumlar: 2ⁿ Genlik
İki kübitli bir sistemin durum uzayı, tek kübitlerin uzaylarının tensor ürünüdür (önceki üniteden hatırla: Tensor ve Kronecker Çarpımı). Taban dört hâl taşır: |00⟩, |01⟩, |10⟩, |11⟩ — bunlar |0⟩ ⊗ |0⟩ gibi çarpımlarla kurulur. Genel durum |ψ⟩ = Σ cᵢⱼ |ij⟩ biçimindedir: dört kompleks genlik ve Σ |cᵢⱼ|² = 1 normalizasyonu. İki kübit birbirinden bağımsızsa durum, tek kübit durumlarının çarpımı olarak yazılır; ama her durum böyle yazılamaz. (|00⟩ + |11⟩)/√2 durumuna bak: hiçbir |a⟩ ⊗ |b⟩ seçimi bu vektörü veremez. Parçalara ayrılamayan bu tür durumlara dolanık denir; ayrıntı Dolanıklık dersinde.
Tablo kübit sayısıyla hızla büyür: n kübitin genel durumu 2ⁿ kompleks sayı gerektirir. Klasik n bit tam olarak tek bir sayı taşır; kuantum n kübit ise 2ⁿ genliği aynı anda taşır. n = 300 için 2³⁰⁰ ≈ 10⁹⁰ — gözlemlenebilir evrendeki atom sayısından bile büyük. Kuantum hesaplamanın gücü de klasik simülasyonun zorluğu da bu üstel listelerden gelir.
Sık Yapılan Hatalar ve Yanılgılar
- Genliği doğrudan olasılık sanmak. α olasılık değildir; olasılık |α|²'dir. −1/√2 gibi negatif ya da i/√2 gibi sanal genlikler de tamamen geçerlidir ve %50 olasılık üretir.
- Normalizasyonu atlamak. α = 1, β = 1 diye başlayıp işe koyulmak en sık hatadır: bu vektör |α|² + |β|² = 2 olduğu için geçerli bir durum değildir. Çare, |ψ⟩'yi √⟨ψ|ψ⟩'ye bölmektir.
- Küresel evreyi fiziksel sanmak. i|ψ⟩, |ψ⟩ ile aynı durumdur. Ama |0⟩ + i|1⟩ ile |0⟩ + |1⟩ farklı durumlardır; çünkü buradaki i küresel değil görece evredir.
- n kübitin durumunu n sayı sanmak. Genel bir durumu tanımlamak için 2ⁿ genlik gerekir; sayı ihtiyacı kübit sayısıyla üstel artar.
- Dolanık sistemde her parçaya kendi durumunu biçmek. (|00⟩ + |11⟩)/√2 içinde herhangi bir tek kübitin kendi başına bir durumu yoktur; durum bütüne aittir.
Bu durum kavramı ünitenin iskeletidir: sıradaki Süperpozisyon ve Kuantumda Ölçüm dersleri davranışı derinleştirir; Operatörler ve Gözlenebilirler dersleri ise durumların üstünde yapılabilecek işlemleri kurar.
Sık Sorulan Sorular
Kuantum durumu nedir?
Bir sistemin kuantum durumu, o sistem üstünde yapılabilecek her ölçümün olasılık dağılımını belirleyen matematiksel nesnedir: kompleks vektör uzayında normalize edilmiş bir vektör. Tek kübit için |ψ⟩ = α|0⟩ + β|1⟩ biçiminde yazılır; α ve β genliklerini bilmek, durumun tamamını bilmek demektir.
Kuantum durumu ile süperpozisyon arasındaki fark nedir?
Durum daha genel bir kavramdır: |0⟩ tek başına da geçerli bir kuantum durumudur. Süperpozisyon, iki ya da daha çok taban durumunun üst üste binmesiyle oluşan durumlara denir. Ayrıca süperpozisyon tabana bağlıdır: |0⟩ hesaplama tabanında süperpozisyon değildir ama başka bir tabanda bir süperpozisyonun parçası olabilir.
Küresel evre neden fiziksel bir anlam taşımaz?
Olasılıklar genliğin mutlak karesiyle hesaplandığı için durumu e^(iθ) ile çarpmak hiçbir olasılığı değiştirmez: |e^(iθ)α|² = |α|². Ölçülemediği için e^(iθ)|ψ⟩ ile |ψ⟩ aynı fiziksel durum sayılır. Genlikler arasındaki görece evre ise gözlenebilirdir ve girişim deneylerinde fark yaratır.
n kübitin durumunu yazmak için kaç sayı gerekir?
2ⁿ tane kompleks genlik: her taban durumu için bir tane. 1 kübit 2, 2 kübit 4, 10 kübit 1024 genlik demektir; 300 kübitlik bir kayıt 2³⁰⁰ ≈ 10⁹⁰ genlik taşır, ki bu evrendeki atom sayısından bile fazladır. Kuantum hesaplamanın gücü de klasik simülasyonun zorluğu da bu üstel büyümeden gelir.
Kaynaklar ve İleri Okuma
Quantum state — Wikipedia — kuantum durumunun tanımı için standart İngilizce başvuru maddesi.
Bra–ket notation — Wikipedia — bu derste kullandığımız Dirac gösteriminin (ket, bra, iç çarpım) ayrıntılı işlendiği madde.
Kuantum mekaniği — Vikipedi — temel kavramları Türkçe okumak isteyenler için genel giriş maddesi.
Basics of Quantum Information — IBM Quantum Learning — kübit ve durum kavramlarını uygulamalı anlatan ücretsiz ders serisi.