Dinamik akış ve dönüşüm — kuantum durumun zaman içinde evrimi

Klasik fizikte bir sistemin zaman içindeki davranışı Newton denklemleri (veya genelde Hamilton denklemleri) ile yönetilir. Kuantum mekaniğinde ise yer alan denklem Schrödinger denklemidir. Bu denklem, kuantum mekaniğinin bir hesap kuralı değil, doğrudan üçüncü postülatın ifadesidir: çevresinden tamamen yalıtılmış bir kuantum sistemin durum vektörü, zamanla deterministik ve sürekli bir biçimde değişir; bu değişimi Hermitik bir Hamiltonyen operatörü belirler.

Schrödinger denklemi

İzole bir kuantum sistem için zamana bağlı Schrödinger denklemi, durumun zamanla nasıl değiştiğini şöyle yazar:

iℏ d|ψ(t)⟩/dt = H |ψ(t)⟩.

Burada H sistemin Hamiltonyenidir; enerji gözlenebilirinin operatör temsilidir ve Hermitiktir. Denklemin sol tarafında bir türev, sağ tarafında ise bir doğrusal operatörün durum üzerindeki etkisi vardır. Doğrusal olması kritik: süperpozisyon bileşenleri bağımsız olarak evrilir; sistemin tek bir dalga deseni gibi davranmasının matematiksel sebebi budur.

Zaman evrim operatörü

Schrödinger denkleminin çözümü, başlangıç durumu üzerine etki eden bir zaman evrim operatörü U(t) aracılığıyla yazılır:

|ψ(t)⟩ = U(t) |ψ(0)⟩.

Hamiltonyen zamandan bağımsızsa bu operatör doğrudan U(t) = e^−iHt/ℏ biçiminde verilir. Zamana bağlı Hamiltonyenler için ise zaman sıralı üstel ifadesi kullanılır; ileride algoritma bölümünde Trotter–Suzuki yaklaşımı tam bu zaman sıralamasını sayısal olarak yaklaştırmaktan doğar.

“İzole” varsayımının önemi

Üçüncü postülatın “izole sistem” koşulu çok güçlü bir varsayımdır. Gerçek dünyada tamamen izole bir kuantum sistem yoktur; her sistem çevresiyle bir miktar etkileşir. Postülatı saf hâliyle kurmamızın nedeni, ölçeklenebilir bir teori inşa edebilmektir: önce ideal evrimi tanımlamak, sonra çevre etkilerini bunun üzerine ekleyerek açık sistem dinamiğini elde etmek. Bu yaklaşım, bu sayfanın açık sistemler bölümünde ele alınan Lindblad ve Kraus formalizminin temel motivasyonudur.

Zaman evrimi postülatının matematiksel araç kutusunun merkezinde üniter operatörler bulunur. Bu operatörler, Hilbert uzayı üzerinde tanımlı doğrusal dönüşümlerin özel bir sınıfıdır; ana özellikleri, iç çarpımı, normu ve dolayısıyla olasılık yapısını koruyor olmalarıdır. Bu yüzden Born kuralının ürettiği olasılık dağılımları, üniter evrim altında “tam” kalır: total olasılık 1 olmaya devam eder, ortogonal durumlar ortogonal kalır, ölçüm istatistikleri tutarlılığını korur.

Tanım ve denk yazılışlar

Bir U operatörü, eşlenik-transpozu U† ile çarpımı kimliği veriyorsa üniterdir:

U^† U = U U^† = I.

Bu, üç eşdeğer yorumun aynı şeyi söyleyişidir. Birincisi, U'nun tersi U†'dır; tersinir bir operatördür. İkincisi, iç çarpım korunur: ⟨Uφ|Uψ⟩ = ⟨φ|ψ⟩. Üçüncüsü, ortonormal bazları ortonormal bazlara taşır. Bu üç ifade, kuantum mekaniğinin doğrusal ve olasılıksal yapısının zaman içinde tutarlılığını sağlar.

Üniter grup ve özel üniter grup

d boyutlu bir Hilbert uzayı üzerinde tanımlı tüm üniter operatörler bir grup oluşturur ve buna üniter grup denir: U(d). Bu grubun ek koşulla determinantı +1 olanları bir alt grup oluşturur: özel üniter grup SU(d). Tek kübit için SU(2) hem kuantum kapı atlasının matematiksel sahnesidir hem de Bloch küresinin geometrik yapısının üreticisidir; bu bağ Qubit ve Bloch küresi sayfasında geometrik olarak anlatıldı.

Pratikte küresel faz e^iχ fiziksel olarak anlamlı değildir; bu yüzden çoğu zaman U(d) ile SU(d) arasındaki farkı görmezden geliriz. Donanım tarafında ise bu fark bazen yazılım derleyicilerinin “virtual Z” gibi sıfır maliyetli faz dönüşümleri uygulayabilmesinin nedenidir.

Olasılık korumasının matematiksel anlamı

Üniter evrim altında normun korunması, kuantum mekaniğinde “sıvının akarken hacminin korunması”na benzer bir resim verir. Hilbert uzayındaki bir durum vektörü, üniter dönüşüm altında yön değiştirir ama uzunluğunu kaybetmez. Bu yüzden kuantum dinamiği bir akış olarak da düşünülebilir: durum vektörlerinin Hilbert küresi üzerindeki akışı. Tek kübit için bu akış, doğrudan Bloch küresi üzerinde bir vektörün eksen etrafında dönüşüne karşılık gelir.

Üçüncü postülat, durumların üniter olarak evrildiğini söyler. Ancak fizikçe ölçülen şey aslında ortalama değerlerdir: bir durumun bir gözlenebilirine göre beklenen değeri. Bu beklenen değerin zaman içinde nasıl değiştiğini anlatmanın iki matematiksel olarak eşdeğer yolu vardır. Birinci yol durumu evriltir, gözlenebiliri sabit tutar; buna Schrödinger resmi denir. İkinci yol durumu sabit tutar, gözlenebiliri evriltir; buna Heisenberg resmi denir. Bir üçüncü karışım yaklaşım, etkileşim (Dirac) resmi hâlâ aynı çerçevede, evrimi iki parçaya bölmek için kullanılır.

Aynı hikâyenin iki anlatımı

Schrödinger resminde durum |ψ(t)⟩ = U(t)|ψ(0)⟩ ile, gözlenebilir A ise sabit kalır. Heisenberg resminde durum sabit, gözlenebilir ise A_H(t) = U^†(t) A U(t) biçiminde evrilir. İki resim de aynı beklenen değer dizisini üretir:

⟨A⟩(t) = ⟨ψ(0)| U^†(t) A U(t) |ψ(0)⟩.

Yani fiziksel sonuçlar açısından iki resim arasında seçim, bir matematiksel kolaylık meselesidir. Schrödinger resmi durumu sezgisel olarak görselleştirmek için (örneğin Bloch küresi animasyonları), Heisenberg resmi ise operatör cebrine doğrudan bakmak için (örneğin komütatör dinamiği) elverişlidir.

Heisenberg hareket denklemi

Heisenberg resminde gözlenebilirin zaman değişimi şu eşitlikle yazılır:

dA_H/dt = (i/ℏ)[H, A_H] + (∂A/∂t)_H.

Sağdaki ilk terim komütatör tabanlı bir akıştır ve neredeyse her zaman baskın kısımdır; ikinci terim, gözlenebilirin kendisi açıkça zamana bağlıysa ek bir katkı verir. Bu denklem, Ölçüm ve operatörler sayfasında konuştuğumuz uyumlu/uyumsuz gözlenebilirler tartışmasıyla doğrudan bağlantılıdır: Hamiltonyen ile komüt eden gözlenebilirler Heisenberg resminde sabit kalır; bunlar korunan büyüklüklerdir.

Etkileşim (Dirac) resmi: ikisinin arası

Hamiltonyen iki parçaya ayrılabiliyorsa (H = H₀ + V), Schrödinger ve Heisenberg arasında bir uzlaşma kurmak çoğu zaman pratiktir. Etkileşim resminde durumlar yalnızca V'ye göre evrilirken, gözlenebilirler yalnızca H₀'a göre evrilir. Pertürbasyon teorisi, kuantum optik ve etkileşen alan teorileri büyük ölçüde bu resimde yazılır.

Üç resim, üç fayda

Aşağıdaki kısa kıyas, üç resmin pratik tercih nedenlerini özetler. Hangisinin “gerçek” olduğu sorusu yanlış sorudur; üçü de matematiksel olarak eşdeğer, sadece farklı problem türlerine farklı kolaylıkla uyarlanan görüntülerdir.

• Schrödinger resmi. Durum animasyonu, baz değişimi, kuantum devre anlatımı; her kapı durumu doğrudan dönüştürür.
• Heisenberg resmi. Korunum yasaları, komütatör cebri, klasik limit bağlantısı; operatörlerin kendi başına evrimini izlemek.
• Etkileşim resmi. Pertürbasyon, etkileşen sistemler, S-matrisi; karmaşık Hamiltonyenin “temel” ve “etkileşim” parçalara ayrıldığı problemler.

Önceki bölümlerde sürekli karşımıza çıkan bir simetri vardı: Hermitik operatörler ölçümleri tanımlıyor, üniter operatörler ise zaman evrimini. Bu iki sınıf birbirine sıkıca bağlıdır; aslında üniter operatörler, Hermitik operatörlerden “türetilen” doğal nesnelerdir. Bu bağ, kuantum mekaniğinin operatör cebrindeki belki de en temiz simetrilerden biridir ve Stone teoremi adıyla matematiksel olarak ifade edilir.

Tek parametreli üniter aile

Bir Hermitik A operatörü için tanımlanan U(t) = e^−iAt ailesi, t parametresi gerçek bir sayı olduğu sürece üniter kalır. Çünkü üstel ifadenin tanımı U^†(t) = e^+iAt verir ve buradan U^†(t) U(t) = I doğrudan çıkar. Bu yüzden Hermitik bir operatör, her zaman bir “üniter akışın” generatörüdür; A'nın spektral ayrışımı, üretilen U'nun da ortonormal özbazını verir.

Stone teoreminin söylediği

Stone teoremi, tersi yönünde de aynı sıkı bağı kurar: sürekli ve tek parametreli üniter bir grup verildiğinde, bunun arkasında daima bir Hermitik generatör vardır. Yani üniter ailelerle Hermitik operatörler arasındaki bu eşleşme rastlantı değil, kuantum mekaniğinin sahnesinde bir tür birebir karşılıklılıktır. Pratik kuantum hesaplamada bu karşılıklılık şu cümleye dönüşür: hangi Hamiltonyene karşılık gelir, hangi kapıya karşılık gelir? sorularını birbirine çevirebilirsiniz.

Tek kübit örneği: Pauli generatörleri

Pauli operatörleri (σ_x, σ_y, σ_z) Hermitiktir. Onlardan üretilen üniterler ise tek kübitin rotasyon kapılarıdır: R_x(θ) = e^−iθσ_x/2 ve benzerleri. Bu yüzden Bloch küresinde tek kübit dönüşleri olarak gördüğümüz şeylerin ardında, Hermitik Pauli operatörlerinden doğan tek parametreli üniter aileler vardır. Kapıların pratik kullanımı Kuantum kapı işlemleri sayfasında ele alındı; burada gördüğümüz şey, aynı kapı atlasının postülat seviyesinde kökenidir.

Lie cebrinin pratik söyleyişi

Matematiksel olarak Hermitik operatörler bir Lie cebri oluşturur ve onlardan üretilen üniterler bir Lie grubu. Bu sözcükler ürkütücü görünebilir, ama söyledikleri sezgisel olarak nettir: operatörler eklenir, üreticileri çarpılır. İki Hermitik A ve B komüt ediyorsa, e^−iAt e^−iBt = e^−i(A+B)t kurallı toplama izin verir; komüt etmiyorlarsa bu eşitlik geçerli değildir ve Baker–Campbell–Hausdorff düzeltmeleri gerekir. Bu son durum, algoritma bölümünde Trotter–Suzuki yaklaşımının doğduğu yerdir.

Üçüncü postülat, izole bir kuantum sistem için kurulmuştur. Gerçek dünyada böyle bir sistem yoktur; her kübit, her atom, her foton bir çevreyle bir miktar etkileşir. Bu etkileşimin sonucu dekoheranstır: saf bir durum yavaş yavaş karma bir duruma dönüşür, faz bilgisi kaybolur, T₁ ve T₂ ölçekleri ortaya çıkar. Bu davranışı tanımlamak için kuantum mekaniği üçüncü postülatın doğal bir genelleştirmesini kullanır; sonuç, kuantum açık sistemler teorisinin matematiksel dilidir.

Yoğunluk matrisi seviyesinde evrim

İzole bir saf durum için Schrödinger denkleminin yoğunluk matrisi seviyesindeki karşılığı von Neumann denklemidir:

dρ/dt = −(i/ℏ)[H, ρ].

Bu denklem, Schrödinger denkleminin saf durumdan karma duruma genişletilmiş halidir; izolasyon koşulu hâlâ geçerlidir, evrim hâlâ üniterdir. Ancak çevreyle etkileşim varsa yoğunluk matrisi düzeyindeki evrim artık üniter değildir; bunun yerine bir master denklemi ile tanımlanır.

Markovian sınır: Lindblad denklemi

En çok kullanılan açık sistem modeli, çevrenin “unutkan” (Markovian) olduğu varsayımına dayanır. Bu durumda sistemin yoğunluk matrisi Lindblad denklemi ile evrilir:

dρ/dt = −(i/ℏ)[H, ρ] + Σ_k [ L_k ρ L_k^† − ½ { L_k^† L_k, ρ } ].

Burada L_k operatörleri çevreyle hangi tür etkileşimin olduğunu modelleyen sıçrama operatörleridir; her biri ayrı bir gürültü kanalına karşılık gelir (örneğin enerji bozulması için σ₋, fazlama gürültüsü için σ_z). Birinci terim üniter evrimi sürdürürken, ikinci terim sistemden bilgi kaybını matematiksel olarak temsil eder. Süperiletken transmon ve iyon tuzağı sayfalarında konuştuğumuz T₁, T₂ büyüklükleri bu denklemin ayar parametreleri olarak ortaya çıkar.

Kraus operatörleri ve CPTP haritalar

Lindblad denklemi sürekli zaman dinamiğini verir; Kraus formu ise aynı açık sistem dinamiğinin “tek bir adım” karşılığıdır. Sistemin bir zaman aralığındaki yoğunluk matrisi dönüşümü şu biçimde yazılır:

ρ ↦ Σ_i K_i ρ K_i^† , Σ_i K_i^† K_i = I.

Bu yapıya CPTP harita (completely positive, trace preserving) ya da kuantum kanal denir. Tamamen pozitif olmak, yoğunluk matrisinin pozitif yarı-tanımlılığını koruması demektir; iz koruyucu olmak ise toplam olasılığın 1 olarak kalmasıdır. Üniter evrim, sadece tek bir Kraus operatörü K = U ile yazılan özel bir CPTP haritadır. Bu yüzden üniter evrim, kuantum kanalların yalnızca bir alt sınıfıdır.

Stinespring teoremi: izolasyon korunur

Bir çok kişi açık sistem dinamiğini gördüğünde “demek ki postülat yanlış, evrim üniter değil” diye düşünür. Doğrusu daha incedir: Stinespring dilatasyon teoremi, açık bir sistemin her CPTP evrimi için, sistem + çevreyi birlikte barındıran daha büyük bir Hilbert uzayında tamamen üniter bir evrim kurulabileceğini söyler. Yani üçüncü postülat yine geçerlidir; biz sadece bütünün sistemi gözden kaybedip alt sisteme bakıyoruz. Açık sistem dinamiği, bütünün izsel indirgenmiş halidir.

Kuantum dinamik formülasyonlar tablosu

Aşağıdaki tablo, bu sayfada karşılaştığımız zaman evrimi dillerinin hızlı bir karşılaştırmasını verir. Hepsinin amacı kuantum durumun zaman içindeki değişimini anlatmaktır; aralarındaki ayrım, hangi düzeyde temsile ihtiyaç duyulduğudur.

Postülat 3'ün matematiksel çekirdeği oturmuşken, bu yapı kuantum hesaplamada ne anlama geliyor? Cevap çok geniştir: kuantum kapı modelinin tamamı, kuantum simülasyon algoritmaları, varyasyonel ansatzler, adyabatik kuantum hesaplama ve hatta gürültü modellemesi — hepsi bu sayfanın dilinden türetilir. Bu son bölüm, üçüncü postülatın algoritmaya ve donanıma uzanan en görünür yansımalarını topluca özetler.

Kapılar = üniter operatörler

Kuantum kapı işlemleri sayfasında, bir kapının üniter bir operatör olduğunu pratik örneklerle gördük. Bu sayfada gördüğümüz şey, o cümlenin postülat seviyesindeki zorunluluğudur: kuantum devre modeli, izole bir kuantum sistemin kapılı zaman evriminden başka bir şey değildir. Kapı süresi ne kadar uzun olursa olsun, kapı içindeki evrim tek bir üniter operatöre özetlenir; arka arkaya gelen kapılar ise üniterlerin sıralı çarpımıdır.

Hamiltonyen simülasyonu: e^−iHt bir devreye nasıl çevrilir?

Kuantum simülasyonun temel sorusu şudur: belirli bir Hamiltonyen verilmişken, onun ürettiği üniter evrim e^−iHt kuantum devre dilinde nasıl yaklaştırılır? Cevap çoğunlukla Trotter–Suzuki ayrıştırmasıyla başlar: Hamiltonyen yerel terimlere bölünür (H = Σ H_k), her bir terimden üretilen üniter ayrı ayrı kapı dizilerine derlenir ve hepsi sıralı olarak uygulanır. Komütatörler sıfır değilse Trotter hatası ortaya çıkar; bu hata, daha küçük zaman adımları ya da daha yüksek mertebeden Trotter formülleri ile bastırılır. Modern algoritmalar bunun ötesinde kuantum signal processing, qubitization, LCU gibi tekniklerle simülasyon maliyetini daha iyi ölçeklendirir.

Adyabatik teorem ve QAOA

Hamiltonyen zamana yavaş yavaş bağlı şekilde değişiyorsa, başlangıçtaki taban durumdan ayrılmadan yeni Hamiltonyenin taban durumuna “takip” edilebilir. Bu fikre adyabatik teorem denir ve adyabatik kuantum hesaplama'nın (D-Wave gibi annealing donanımları dahil) matematiksel temelidir. Bu sürekli zamanlı yaklaşım, QAOA gibi sonlu adımlı algoritmaların ata sınıfıdır: QAOA, bir adyabatik yolun kesikli ve parametre optimizasyonu ile elde edilen yaklaşımıdır.

Donanım gerçekliği: ideal üniter mi, gürültülü kanal mı?

Soğutma ve kalibrasyon sayfasında, gerçek bir kübit kapısının asla tam üniter olmadığını, T₁/T₂ sürelerinin ve kalibrasyon kalitesinin kapı hatasını sınırladığını gördük. Bu cümlenin matematiksel karşılığı tam olarak bu sayfanın açık sistem bölümüdür: ideal kapı bir üniter U, gerçek kapı ise U'ya yakın bir Kraus kanalıdır. Kuantum hata düzeltme tasarımı, bu Kraus kanallarının gürültüsünü, mantıksal kübitlerin yine yaklaşık olarak üniter davranmasını sağlayacak şekilde bastırmayı hedefler.

Postülatların tamamlanışı

Bu sayfayla birlikte durum postülatı ve ölçüm postülatı üçlüsünün son halkası tamamlanmış oldu: durum, ölçüm, evrim. Bu üç postülat birlikte, kuantum mekaniğinin doğrudan deneye değen iskeletini oluşturur; geriye kalan bileşik sistem postülatı (tensor çarpımı) ise bu üçünün çoklu sistemlere genelleştirilmesidir ve büyük ölçüde durum postülatının doğal uzantısıdır. Bu yüzden bu üç sayfa, kuantum kuramının algoritma-donanım katmanına dönüşmeden önceki en kritik temelidir.