Hilbert uzayı ve durum — kuantum sistemin matematiksel adresi

Klasik fizikte bir sistemin durumunu çoğu zaman birkaç sayı ile tarif ederiz: parçacığın konumu, hızı, enerjisi gibi. Kuantum mekaniğinde ise durum doğrudan “gözle görülen değerler listesi” değildir; ölçüm yapıldığında hangi sonuçların hangi olasılıkla çıkacağını belirleyen daha temel bir nesnedir. Bu nesnenin yaşadığı matematiksel alan Hilbert uzayıdır. Hilbert uzayı, vektörleri toplayabildiğimiz, katsayılarla çarpabildiğimiz, uzunluk ve açı konuşabildiğimiz, ayrıca limit süreçlerinde eksik nokta bırakmayan özel bir vektör uzayıdır.

Vektör uzayı ama olasılık defteri değil

Kuantum durumu bazen “olasılıkların listesi” gibi düşünülür, fakat bu eksik bir yaklaşımdır. Hilbert uzayındaki durum, olasılıkların yanında faz bilgisini de taşır. İki durumun olasılık dağılımı aynı görünebilir, ama faz ilişkileri farklıysa girişim deneylerinde farklı sonuç verirler. Bu yüzden kuantum mekaniğinin temel nesnesi doğrudan olasılık tablosu değil, karmaşık vektördür.

“Karmaşık vektör” ifadesi burada teknik ama gereklidir: katsayılar yalnızca gerçek sayılar değil, karmaşık sayılardır. Karmaşık sayılar, fazı taşımanın en doğal yoludur. Bir dalganın genliği ve fazı nasıl birlikte dalganın fiziksel davranışını belirliyorsa, kuantum durumunda da katsayıların büyüklükleri ve fazları birlikte ölçüm istatistiklerini belirler.

Hilbert uzayı fiziksel sistemi temsil eder

Her fiziksel sistemin kendi uygun Hilbert uzayı vardır. Spin-1/2 parçacığı veya tek kübit iki boyutlu bir uzayla temsil edilir; tek bir harmonik osilatör sonsuz boyutlu bir uzaya ihtiyaç duyar; bir parçacığın konum dalga fonksiyonu kare-integrallenebilir fonksiyonlar uzayında yaşar. Yani Hilbert uzayı “evrensel tek kutu” değildir; sistemin hangi serbestlik derecelerine sahip olduğuna göre seçilen matematiksel sahnedir.

Bu sayfa, sonsuz boyutlu teknik ayrıntılara girmeden, kuantum hesaplama ve temel postülatları okumak için gereken sonlu boyutlu dili kurar. Sonsuz boyutlu uzaylarda operatör domain'leri, süreklilik ve spektrum teorisi gibi ek incelikler vardır; fakat vektör, iç çarpım, norm, baz ve tensor çarpımı fikri aynı çekirdeği korur.

Kuantum mekaniği, durum vektörlerini yazmak için Dirac notasyonunu kullanır. Bu notasyon ilk bakışta sembolik görünebilir, ama amacı basittir: vektörleri, dual vektörleri ve iç çarpımları kısa ve düzenli yazmak. Bir durum vektörü ket olarak yazılır; onun karmaşık eşlenik-transpoz karşılığı bradır. Bra ve ket yan yana geldiğinde bir sayı, ket ve bra ters sırayla geldiğinde bir operatör üretir.

Ket ve bra neyi ayırır?

Bir ket, Hilbert uzayındaki yönü temsil eder: örneğin |ψ⟩ bir durum vektörüdür. Bir bra ise o vektörün dual uzaydaki karşılığıdır: ⟨ψ|. Karmaşık uzayda bu ayrım önemlidir, çünkü yalnızca transpoz almak yetmez; katsayıların karmaşık eşleniği de alınır. Bu sayede iç çarpım pozitif bir uzunluk verir.

İç çarpım, iki durumun ne kadar benzer olduğunu ölçer. ⟨φ|ψ⟩ bir karmaşık sayıdır; mutlak değerinin karesi, ölçüm postülatında olasılığa dönüşür. Eğer iki durum ortogonalse iç çarpım sıfırdır; bu, uygun bir ölçümle iki durumun ayırt edilebileceği anlamına gelir. Eğer iki durum aynı yöndeyse iç çarpımın mutlak değeri birdir; bu da onların fiziksel olarak aynı ışına ait olabileceğini gösterir.

Norm ve normalize durum

Bir durumun uzunluğu, kendisiyle iç çarpımından gelir: ‖ψ‖² = ⟨ψ|ψ⟩. Fiziksel saf durumlar için bu uzunluk 1 seçilir; buna normalize durum denir. Normalize koşulu, toplam olasılığın 1 olmasını sağlar. Ancak burada dikkat edilmesi gereken nokta şudur: vektörün matematiksel uzunluğu 1'e ayarlanır, fakat fiziksel anlamı yalnızca ölçüm olasılıkları üzerinden ortaya çıkar.

Normalize olmayan bir vektör çoğu zaman geçici hesaplarda kullanılabilir; örneğin bir projeksiyon sonrası durum önce normalize olmayan biçimde çıkar, sonra olasılığa bölünerek yeniden normalize edilir. Bu yüzden “normalize” bir yasak değil, fiziksel durum temsilini standartlaştıran bir seçmedir.

Işın: aynı fiziksel durumun farklı yazılışları

Kuantum mekaniğinde durum vektörü tek başına fiziksel nesne değildir; fiziksel nesne, vektörün sıfır olmayan karmaşık katsayılarla çarpılmış eşdeğerlik sınıfıdır. Özellikle |ψ⟩ ile e^{iχ}|ψ⟩ aynı fiziksel durumu temsil eder. Bu farka küresel faz denir ve tek başına ölçülemez. Ölçülebilen şey, farklı bileşenler arasındaki göreli fazdır.

Bir Hilbert uzayında durum vektörünü yazmak için bir baz seçeriz. Baz, uzaydaki her vektörü oluşturabileceğimiz bağımsız yönler listesidir. Fakat baz seçimi fiziksel durumun kendisi değildir; yalnızca onu tarif etmek için seçtiğimiz koordinat sistemidir. Tıpkı aynı noktayı haritada enlem-boylam veya farklı bir koordinatla yazabilmemiz gibi, aynı kuantum durumu da farklı bazlarda farklı katsayı listeleriyle yazılabilir.

Ortonormal baz neden kullanışlı?

Kuantum mekaniğinde en rahat bazlar ortonormal bazlardır: her baz vektörü uzunluk 1'e sahiptir ve farklı baz vektörleri birbirine diktir. Bu durumda bir durumun bazdaki katsayıları doğrudan iç çarpımlarla bulunur. Ölçüm postülatı da bu dili kullanır: bir ölçüm belirli bir ortonormal bazla ilişkiliyse, durumun o bazdaki bileşenlerinin büyüklük kareleri ölçüm olasılıklarını verir.

Bu nokta, kuantum hesaplamadaki “hesaplama tabanı” kavramının temelidir. Tek kübitte |0⟩ ve |1⟩ özel bir baz seçimi yapar; ama aynı fiziksel durum başka bir bazda farklı görünebilir. Detaylı tek kübit geometrisi için Qubit ve Bloch küresi sayfası bu genel postülatın iki boyutlu görsel karşılığıdır.

Süperpozisyon: aynı anda iki klasik değer mi?

Süperpozisyon çoğu zaman “aynı anda hem 0 hem 1” gibi anlatılır; bu, sezgisel ama eksik bir ifadedir. Daha doğru cümle şudur: durum vektörü, seçilen bazın birden fazla yönünde bileşene sahiptir. Bu bileşenler ölçüm yapılmadan önce klasik bir bilinmezlik listesi değildir; çünkü aralarındaki faz ilişkileri girişim üretebilir. Klasik karışımda sadece olasılıklar vardır; kuantum süperpozisyonda olasılık genlikleri ve faz vardır.

Bu ayrım, kuantum algoritmalarının kalbidir. Bir algoritma, genlikleri doğrudan “çoğaltıp azaltmaz”; üniter dönüşümlerle fazları ve genlik yönlerini öyle düzenler ki, doğru cevap ölçüm bazında daha yüksek olasılıkla görünür. Bu yüzden Hilbert uzayı dili yalnızca fiziksel değil, algoritmik olarak da zorunludur.

Kuantum mekaniğinin en güçlü ve en zorlayıcı kısmı, birden fazla sistem bir araya geldiğinde ortaya çıkar. Klasik dünyada iki sistemin durumunu yan yana yazarız; kuantum dünyasında iki sistemin ortak Hilbert uzayı, ayrı Hilbert uzaylarının tensor çarpımı ile kurulur. Bu, yalnızca notasyon değişikliği değildir: tensor çarpımı, dolanıklık denen ve klasik olasılıklarla açıklanamayan yeni durumları mümkün kılar.

Boyutlar çarpılır

Eğer bir sistemin Hilbert uzayı iki boyutlu, diğerinin Hilbert uzayı üç boyutluysa, birleşik sistem altı boyutlu olur. Genel kural: boyutlar toplanmaz, çarpılır. Bu yüzden n tane iki seviyeli sistemin ortak uzayı 2^n boyutludur. Kuantum hesaplamadaki üstel durum uzayı buradan gelir; bu konu klasik simülasyon maliyeti sayfasında hesaplama tarafıyla anlatıldı. Burada gördüğümüz şey ise aynı gerçeğin postülat düzeyindeki kökenidir.

Ürün durum ve dolanık durum

Eğer ortak durum iki ayrı sistemin durumlarının tensor çarpımı olarak yazılabiliyorsa, buna ürün durum denir. Böyle bir durumda her alt sistemin kendi durumu vardır ve ortak durum sadece onların birleşimidir. Fakat bazı ortak durumlar böyle ayrılamaz; hiçbir iki yerel durumun tensor çarpımı olarak yazılamaz. Bunlar dolanık durumlardır.

Dolanıklık, “çok güçlü korelasyon” demekten daha fazlasıdır. Dolanık bir durumda, ortak sistemin saf bir durumu olabilirken alt sistemlerin tek başına saf durumu olmayabilir. Bu cümle kuantum mekaniğinin klasik sezgiden en radikal ayrımlarından biridir: bütünün durumu tam bilinse bile parçaların durumu tek başına eksik olabilir.

Yerel işlem ve ortak durum

Bileşik sistemlerde bir alt sisteme uygulanan işlem, ortak uzayda tensor çarpımıyla temsil edilir. Birinci sisteme etki edip ikinciyi sabit bırakmak istiyorsak, birinciye ilgili operatör, ikinciye kimlik operatörü yazılır. Bu dil, kuantum devre şemalarının matematiksel temelidir: bir kapı yalnızca bir hatta çizilse bile, aslında tüm birleşik Hilbert uzayında tanımlı daha büyük bir operatörün kısa gösterimidir.

Şimdiye kadar durumları vektörlerle anlattık. Bu, saf durumlar için yeterlidir: sistem hakkında kuantum teorisinin izin verdiği en tam bilgiyi taşıyan durumlar. Ancak gerçek deneylerde sistemler çoğu zaman çevreyle etkileşir, hazırlama adımı tam kontrol edilemez veya yalnızca istatistiksel bir topluluk bilinir. Bu durumda tek bir ket yeterli değildir; yoğunluk matrisi ya da yoğunluk operatörü kullanılır.

Saf durumdan yoğunluk matrisine

Bir saf durum |ψ⟩ ile temsil ediliyorsa, aynı durumun yoğunluk matrisi ρ = |ψ⟩⟨ψ| olarak yazılır. Bu nesne, durum vektörünün kendisinden daha genel bir temsil sunar; çünkü istatistiksel karışımları da aynı form dilinde anlatabilir. Birden fazla saf durum, belirli klasik olasılıklarla hazırlanıyorsa, yoğunluk matrisi bu olasılıklarla ağırlıklandırılmış projektörlerin toplamıdır.

Yoğunluk matrisleri üç temel koşul taşır: Hermitik olurlar, pozitif yarı tanımlı olurlar ve izleri 1'dir. Bu koşullar teknik görünse de fiziksel anlamları nettir: ölçüm olasılıkları gerçek sayı çıkmalı, negatif olasılık oluşmamalı ve toplam olasılık 1 olmalıdır.

Durum türleri tablosu

Aşağıdaki tablo, bu sayfada geçen durum temsillerini birbirinden ayırır. Amaç formülleri çoğaltmak değil, hangi durumda hangi temsilin doğru olduğunu netleştirmektir.

Karma durum ile süperpozisyon aynı şey değildir

Bu ayrım çok önemlidir. Bir süperpozisyon, tek bir saf kuantum durumudur; bileşenleri arasında faz ilişkisi vardır ve girişim üretebilir. Karma durum ise ya hazırlamadaki klasik belirsizliği ya da çevreyle etkileşim sonucu kaybedilen bilgiyi temsil eder. Karma durumda faz ilişkileri kısmen veya tamamen kaybolmuş olabilir. Deneysel kuantum bilgi işlemde gürültü, dekoherens ve ölçüm hatası bu dil ile anlatılır.

Hilbert uzayı ve durum postülatı, kuantum mekaniğinin yalnızca ilk sayfası değildir; diğer postülatların tamamı bu sahne üzerinde çalışır. Gözlenebilirler bu uzay üzerindeki Hermitik operatörlerdir, zaman evrimi üniter operatörlerle verilir, ölçüm projektörler veya daha genel POVM elemanlarıyla ifade edilir. Yani “durum Hilbert uzayında yaşar” cümlesi kurulduktan sonra, kuantum teorisinin geri kalanı bu durumun nasıl değiştiğini ve nasıl sorgulandığını anlatır.

Qubit sayfalarıyla ilişki

Qubit ve Bloch küresi sayfası, bu genel postülatın iki boyutlu özel durumudur. Orada gördüğümüz Bloch küresi, tüm Hilbert uzaylarının genel resmi değildir; tek kübit saf durumlarının görsel bir avantajıdır. Burada anlattığımız Hilbert uzayı dili ise iki boyutla sınırlı değildir ve çok kübitli, sonsuz boyutlu veya karma durumlu sistemlere genişler.

Kuantum kapıları, bu durumlar üzerinde normu ve iç çarpımı koruyan dönüşümlerdir. Ölçüm ise ölçüm ve çökme sayfasında anlatıldığı gibi, durumdan klasik sonuca geçiş kuralıdır. Böylece bu sayfa, kapı ve ölçüm sayfalarının altında duran matematiksel zemini verir.

Neden bu kadar soyut?

Hilbert uzayı dili ilk bakışta günlük fizik sezgisinden uzak görünebilir; ama gücü tam burada yatar. Aynı dil, elektron spini, foton polarizasyonu, atomik enerji seviyesi, süperiletken devre modu ve kuantum algoritmasındaki mantıksal kübit için çalışır. Bu soyutluk, farklı fiziksel platformları tek teoride birleştirir. Donanım değişir, kapı mekanizması değişir, ölçüm cihazı değişir; ama durumun Hilbert uzayındaki temsili aynı postülat düzeninde kalır.

Sonraki postülatlara hazırlık

Bu sayfadan sonra doğal adımlar şunlardır: gözlenebilirlerin neden Hermitik operatörlerle temsil edildiği, zaman evriminin neden üniter olduğu, ölçüm olasılıklarının Born kuralıyla nasıl üretildiği ve bileşik sistemlerde dolanıklığın neden klasik olasılıktan ayrıldığı. Bu sıranın tamamında Hilbert uzayı değişmez sahne olarak kalır; değişen şey, bu sahnede durumun hangi soruya nasıl cevap verdiğidir.