Qubit — durum uzayı ve Bloch geometrisi

Klasik bilgisayarda bir bit, iki olası değerden birini saklar: 0 ya da 1. Kuantum bilgisayarda ise kübit, bu ikisinin bir karışımını taşıyabilir. Karışım derken yalnızca “şu kadar 0, şu kadar 1” oranını değil, aralarındaki ince bir faz bilgisini de kastediyoruz. Bu bölüm, böyle bir karışımı düzgün anlatmak için kullanılan matematik diline — yani ket, bra ve normalize kavramlarına — sade bir akışla giriş yapar. Amaç sembolleri ezberlemek değil; her birinin neden var olduğunu görmektir.

Bir kübitin matematiksel evi, iki boyutlu karmaşık iç çarpım uzayı ℂ²dır: vektörler karmaşık sayı katsaylıdır; uzunluk ve açı kavramı iç çarpım ⟨·|·⟩ ile tanımlanır. Dirac notasyonunda sütun vektörleri |ψ⟩ (ket) ile, onların satır ve eşlenikleri ⟨ψ| (bra) ile yazılır; böylece “durum” hem geometrik hem cebirsel olarak tek nesnede toplanır.

Hesaplama tabanı ve sütun gösterimi

Z (hesaplama) tabanında ortonormal temel çifti {|0⟩, |1⟩} seçilir; bunlar klasik bit değerlerinin kuantum karşılığıdır ve standart ölçümü tanımlarlar. Aynı uzayı matris diliyle yazmak için genelde

|0⟩ ↔ (1, 0)^T, |1⟩ ↔ (0, 1)^T, |ψ⟩ = α|0⟩ + β|1⟩ ↔ (α, β)^T.

Burada üst simge T transpozu, α, β ∈ ℂ ise karmaşık katsayılardır. Ortonormalite şu anlama gelir: ⟨0|0⟩ = ⟨1|1⟩ = 1, ⟨0|1⟩ = ⟨1|0⟩ = 0; ikinci eşitlikteki sıfır, iki klasik çıktının tek ölçümde birbirinden “ayırt edilebilir” olmasının matematiksel özüdür.

Karmaşık katsayılar, mutlak değer ve normalize koşul

α karmaşık olduğundan genelde α = a + ib (a, b ∈ ℝ) veya kutupsal α = |α| e^{iθ_α} biçiminde düşünülür. Mutlak değer |α| = √(a² + b²) olup iç çarpımda |α|² = α*α olarak da yazılır; burada α*, αnın karmaşık eşleniğidir ((a+ib)* = a - ib). Aynı tanım β için de geçerlidir.

Durumun “uzunluğu” iç çarpımla verilir: ‖ψ‖² = ⟨ψ|ψ⟩. Ket açıkça |ψ⟩ = α|0⟩ + β|1⟩ iken bra, her katsayının eşleniği alınarak ⟨ψ| = α*⟨0| + β*⟨1⟩ olur; böylece

⟨ψ|ψ⟩ = α*α + β*β = |α|² + |β|².

Normalize fiziksel durum için ⟨ψ|ψ⟩ = 1, yani |α|² + |β|² = 1 şartı konur. Born yorumuna göre standart Z ölçümünde 0 sonucunun olasılığı P(0) = |⟨0|ψ⟩|² = |α|², 1 sonucunun olasılığı P(1) = |β|²dır; normalize koşul tam da P(0) + P(1) = 1 olasılık aksiyomuna denk gelir.

İşaret, küresel faz ve göreli faz

Her iki katsayının (α, β) işaretleri veya fazları tek başına fiziksel anlam taşımaz; önemli olan bileşenler arasındaki ilişkidir. Tüm kete aynı faz çarpanı uygulanmış sayılır:

|ψ⟩ ile e^{iχ}|ψ⟩ (χ ∈ ℝ) aynı fiziksel durumu temsil eder (küresel faz). Çünkü her projeksiyonda |⟨k|e^{iχ}ψ⟩|² = |e^{iχ}⟨k|ψ⟩|² = |⟨k|ψ⟩|² olur; olasılıklar değişmez.

Öte yandan α ile β arasındaki göreli faz farkı fiziktir. Örneğin |+⟩ = (|0⟩ + |1⟩)/√2 ile |-⟩ = (|0⟩ − |1⟩)/√2 durumlarında iki terimin ortasındaki eksi işareti, göreli fazda π farkına karşılık gelir; bu iki durum ortogonaldir (⟨+|-⟩ = 0) ve farklı ölçüm istatistikleri üretirler. Çok kübitte ise faz ilişkileri dolanıklık ve girişim desenlerini belirler — orada “yalnızca küresel faz” yetersiz kalır.

Bra, iç çarpım ve doğrusallık kuralları

⟨φ|ψ⟩, iç çarpımın Dirac’taki kısa yazılışıdır; olasılık genlikleri için sık kullanılan büyüklükler |⟨0|ψ⟩| = |α|, |⟨1|ψ⟩| = |β| şeklinde mutlak değerlerdir (işaret fazda saklıdır). İç çarpım ket üzerinde doğrusaldır:

⟨φ|(a|ψ₁⟩ + b|ψ₂⟩) = a⟨φ|ψ₁⟩ + b⟨φ|ψ₂⟩, a, b ∈ ℂ.

Bra tarafında ise katsayı karmaşık eşlenikle çekilir (fizikte yaygın Dirac kuralı): ⟨aφ|ψ⟩ = a*⟨φ|ψ⟩. Bu iki kural birlikte, ⟨ψ|ψ⟩nın gerçek ve negatif olmayan çıkmasını ve iç çarpımın pozitif tanımlı yapısını garanti eder. Ortogonallik ⟨φ|ψ⟩ = 0, iki durumun standarda göre “ayırt edilebilir” ölçüm sonuçları ürettiği anlamına gelir; algoritma metinlerindeki “faz farkı” ve girişim terimleri çoğu zaman bu iç çarpımın argümanından okunur.

Bir kübitin durumunu konuşurken her seferinde karmaşık katsayılarla uğraşmak yorucudur. Neyse ki tek kübit için işin geometrik bir özeti vardır: bütün olası saf durumları, üzerinde tek bir okun durduğu bir küre üzerinde gösterebiliriz. Kuzey kutbu |0⟩ durumuna, güney kutbu |1⟩ durumuna karşılık gelir; ok başka bir noktaya işaret ediyorsa, kübit ikisinin bir karışımındadır. Bu küreye Bloch küresi denir. Aşağıdaki bölümler kürenin neden tam olarak yeterli olduğunu, hangi noktanın hangi duruma karşılık geldiğini ve algoritma şemalarındaki tek kübit kapılarının küre üzerinde nasıl dönüşler ürettiğini anlatır.

Normalize tek kübit durumları için fiziksel bilgi, küresel faz çarpanına kadar özdeştir; bu yüzden “durum uzayı” gerçekte birim küredeki yönleri (Bloch küresi) seçmektir — matematiksel olarak karmaşık düzlemdeki ışınlar (ℂP¹) ile birim küre S² arasında birebir uygun bir resim vardır. Aşağıda önce ketten küresel koordinatlara, sonra da küresel yüzeydeki Bloch vektörü r ile özel noktalara geçeceğiz.

Işınlar, küresel faz ve neden küre?

ℂ² içinde bir ket |ψ⟩ ile e^{iχ}|ψ⟩ küresel fazda farklı yazılışlar olsa da aynı fiziksel durumu temsil eder; dolayısıyla “benzersiz durumlar” aslında birim ketlerin ışın (ray) sınıflarıdır. Bu sınıfların uzayı iki reel boyutlu yüzey olarak modellenir ve bu yüzey düzgün biçimde S²’ye yerleştirilebilir — işte Bloch küresinin kökeni budur. Küre üzerindeki her nokta bir fiziksel saf (pure) tek kübit durumuna karşılık gelir; bunun tersi de küresel faz dışında tek bir ket seçimi belirler.

Küresel koordinatlar: θ/2 ve olasılıklar

Yaygın parametrizasyon

|ψ⟩ = cos(θ/2)|0⟩ + e^{iφ} sin(θ/2)|1⟩, θ ∈ [0, π], φ ∈ [0, 2π).

Burada θ, Bloch üzerindeki “polar” açıdır (kuzeyden güneye uzanan meridyen boyunca ölçülür); φ ise ekvator düzlemindeki azimuttur. Katsayılarda θ/2 görünmesinin nedeni, küre üzerindeki θ ile hesaplama tabanı olasılıklarını doğrudan bağlamaktır:

|⟨0|ψ⟩|² = cos²(θ/2), |⟨1|ψ⟩|² = sin²(θ/2), cos²(θ/2) + sin²(θ/2) = 1.

Böylece θ = 0 tam kuzey (|0⟩), θ = π tam güney (|1⟩) olur; ara değerler süperpozisyonların “ne kadar 0’a, ne kadar 1’e yakın” olduğunu tek bir açıyla özetler. φ, |1⟩ katsayısındaki göreli fazdır; ekvator (θ = π/2) üzerinde dolaşmak, eşit süperpozisyonların (|0⟩ ile |1⟩ genlikleri eşit) yalnızca fazlarının değişmesine karşılık gelir.

Aşağıdaki etkileşimli model, aynı küresel parametrizasyonu canlı gösterir: ok r yönünü, kapılar (H, X, Y, Z …) ise üniteer dönüşümleri takip eder; θ ve φ kaydırıcıları metindeki |ψ⟩ = cos(θ/2)|0⟩ + e^iφ sin(θ/2)|1⟩ yazımıyla eşlenir.

Bloch vektörü ve Pauli beklentileri

Küresel koordinatların yerine, Bloch vektörünü Kartezyen yazmak için Pauli matrisleri X, Y, Z (veya σ_x, σ_y, σ_z) kullanılır. Saf durumda yoğunluk matrisi ρ = |ψ⟩⟨ψ| olup, birim küre üzerindeki yön

r = (⟨X⟩, ⟨Y⟩, ⟨Z⟩), ⟨A⟩ = Tr(ρA)

ile verilir; küresel koordinatlarla bağlantısı r_x = sin θ cos φ, r_y = sin θ sin φ, r_z = cos θ biçimindedir ve ‖r‖ = 1 olur (saf durum). Bu sayede “durumu kürede bir okla gösterme” ile “Pauli gözlemlenebilirlerinin beklenen değerleri” aynı geometrik nesneye bağlanır.

Kutuplar, ekvator ve sık özel durumlar

Tek kübitin en sık karşılaşılan altı saf durumu — iki kutup ve dört ekvator tepesi — Bloch küresinde sabit (θ, φ) ve birim Bloch vektörü r ile aşağıdaki gibi konumlanır. Ekvatorda θ = π/2 sabittir; kutuplarda φ tanımsızdır (tek nokta). Faz φ sürekli döndükçe ok ekvator çemberinde döner ve yön ±x, ±y arasında geçer:

Tek kübit resmi, çok kübit ve yerel Bloch

Bloch küresi yalnızca tek kübitlik saf durumlar için tam bir modeldir: iki kübitin ortak durumu genelde ℂ⁴ içindedir ve tek bir S² üzerindeki tek nokta olarak gösterilemez; dolanıklık tam da bu “ürün küresi” dışındaki yapıdır. Buna karşılık, çok kübitli saf bir |Ψ⟩ verildiğinde, bir kübiti diğerlerinden izole etmek için yönlendirilmiş (partial trace) yoğunluk matrisi ρ_A = Tr_B(|Ψ⟩⟨Ψ|) alınır; genelde karışık (mixed) olur ve saf tek kübit formülü yerine ρ = (I + r·σ) / 2 yazılışı geçer — burada ‖r‖ ≤ 1 ve r yine Bloch topunun (küre + içi) içinde bir noktadır. Böylece “yerel Bloch vektörü”, çok gövdeli durumlarda tek kübit istatistiklerini özetlemek için kullanılır; fakat tüm çok kübit korelasyonunu taşımaz.

Ne işe yarar? (Geometrik okuma)

Bloch resmi, ölçüm öncesi bilgiyi “olasılık tablosu”ndan çok, yön ve faz dilinde sunar: üniter evrim, normu koruduğu için küre üzerinde bir dönüş etkisine benzer (detaylı grup bağlantısı SU(2) ile SO(3) ve çift örtü — Pauli ve tek kübit kapıları bölümünde). Örneğin Z ekseni etrafında dönüş, φ’yı kaydırır; X eksenindeki π dönüşü vektörü yansıtır; Hadamard |0⟩dan ekvatora taşır. Algoritma şemalarındaki her tek kübit kapı, bu kürede izometri (iç çarpımı koruyan hareket) üretir — hangi kapının hangi eksende hangi açıyla döndüğünü tablo düzeyinde bölüm 3 tamamlar.

Okuma ipucu Küre üzerindeki nokta ölçüm sonucunu önceden “tek sayı” olarak vermez; standart Z ölçümünde olasılıklar (1 ± r_z)/2 biçiminde kutuplara projeksiyonla okunur. Küre, ölçüm öncesi genlik ve göreli fazın geometrisidir.

Bloch küresinde bir kübit bir okla temsil ediliyorsa, kuantum kapıları bu oku döndüren işlemlerdir. Bir kapı uygulamak, küre üzerindeki noktayı başka bir noktaya taşımak demektir; ama bunu rastgele değil, daima belirli bir eksen etrafında belirli bir açıyla yapar. Bu bölüm, hangi kapının hangi eksen etrafında dönüş yarattığını — klasik NOT'un karşılığı olan X kapısını, taban değiştiren Hadamard'ı, faz adımlarını üreten S ve T'yi, sürekli parametreli R kapılarını — önce geometrik olarak, sonra cebirsel olarak anlatır. Kapıların ayrıntılı matris formları için Kuantum kapı işlemleri sayfasına geçilebilir; burada amaç, hangi kapının küre üzerinde neye benzediğini görmektir.

Bloch bölümünde durumu r vektörüyle konum verdik; burada aynı eksenleri doğrudan üreten Hermitik Pauli operatörleri ve bunların ürettiği üniter kapılar üzerinden konuşuyoruz. Tek kübitlik bir kapı, normalize keti başka bir normalize kete götürür; geometride ise küre üzerinde norm koruyan bir hareket — tipik olarak bir eksen etrafında dönüş — demektir.

Üç Pauli matrisi ve kısa cebir

Hesaplama tabanında sık yazılış:

X = |0⟩⟨1| + |1⟩⟨0⟩, Y = −i|0⟩⟨1| + i|1⟩⟨0⟩, Z = |0⟩⟨0| − |1⟩⟨1|.

Matris olarak da X ~ σ_x, Y ~ σ_y, Z ~ σ_z diye düşünülür (çoğu kaynakta aynı simgeyi paylaşırlar). Hepsi Hermitik ve üniterdir (özdeğerleri ±1); üst üste iki kez uygulanınca (ör. XX = I) özdeşlik olur. Birbirleriyle karşı-değişmeli değillerdir (ör. XY = −YX); bu, eksenler arası girişimin matematiksel özüdür.

Eksen dönüşleri: R_x, R_y, R_z

Standart fizik kitaplarında eksen j ∈ {x,y,z} etrafında açı θ ile dönüş

R_j(θ) = exp(−i θ σ_j / 2)

biçiminde yazılır (burada σ_j, ilgili Pauli). θ = π için eksen etrafında yarım tur (Bloch’ta karşı kutba veya eksene göre yansıma benzeri bir hareket); θ = π/2 ise çeyrek tur. Çerçeve ya da kütüphane (Qiskit, Cirq, …) önündeki faz işaretleri bazen bir küresel fazla farklılık gösterebilir; fiziksel içerik Bloch hareketinde (hangi eksende ne kadar döndüğünüzde) saklıdır.

SU(2), küçük uyarı ve SO(3)

Tüm bu tek kübit üniteleri determinantı 1 olan SU(2) içindedir; Bloch küresinde gördüğünüz gerçek dönüş ise SO(3) öğesidir. İki farklı SU(2) elemanı aynı SO(3) hareketine karşılık gelebilir — bu “çift örtü” (ör. 2π dönüşü ket üzerinde bazen −1 fazı bırakır, küresel fazla özdeş sayılır). Devre çiziminde okların sırası bileşke kapıyı belirler; matematikte çarpım sırası soldan sağa mı sağdan sola mı — kullandığınız araca göre değişir; önemli olan aynı çerçevede tutarlı kalmaktır.

Yaygın kapılar: Pauli, faz ve Hadamard

X, Bloch’ta x eksenine göre π dönüşüne karşılık gelir (|0⟩ ↔ |1⟩ bit çevirme). Z, z ekseninde π dönüşüdür; hesaplama tabanında |0⟩ı sabit tutar, |1⟩ ↦ −|1⟩ ile fazı π kaydırır. Y benzer şekilde y ekseninde çalışır. R_z(γ) ise z ekseni etrafında sürekli dönüşü verir; ekvator düzlemindeki göreli fazı kaydırdığı için çoğu “işaretleme / faz kaydırma” adımının çekirdeğidir — oracle veya kontrollü faz mimarisinde sürekli karşılaşırsınız.

H (Hadamard) bir üniter simetridir; |0⟩ı ekvatora taşıdığı için “taban değiştirici” gibi düşünülür. S = √Z ve T kapıları (π/4 faz) sırasıyla daha ince faz adımlarıdır; kuantum Fourier ve faz yaklaşımı tartışmalarında temel yapı taşlarıdır.

Kök kapılar ve sürekli R ailesi

√X, √Z gibi adlar genelde ilgili Pauli’nin “yarım gücü” — yani π/2 dönüşü — ile ilişkilidir (tam tanımı kütphaneye göre küresel faz seçebilir). Varyasyonel devrelerde sürekli parametreli R_y(θ), R_z(φ) blokları, parametre optimizasyonunda doğrudan optimize edilen ünite parametreleridir; sabit kapılı taban setlerine (Clifford + T vb.) ayırma ise başka bir katmandır.

Üniter evrim ve tersinirlik

Ölçüm dışındaki her adım üniterdir: olasılık vektörünün normu korunur, Bloch küresinde mesafe anlayışı (Fubini–Study ile uyumlu) bozulmaz. Bu yüzden oracle, diffüzör veya ansatz blokları “olasılığı şişirmek” için normu artırmaz; doğru cevaba taşıyan genliği yeniden dağıtır. Ünite olmayan tek şık ölçümdür — onu bir sonraki bölümde ayırıyoruz.

Bir kübitin durumunu konuşmak güzel, ama sonunda klasik bilgisayarın okuyabileceği bir cevaba ihtiyacımız var. Bu cevabı veren adıma ölçüm denir ve kuantum mekaniğinin üniter olmayan tek adımıdır: küre üzerindeki bir nokta, tek bir 0 ya da 1 çıktısına indirgenir. Hangi sonucun hangi olasılıkla geleceğini ise durumun seçilen taban yönüne bakan bileşeni belirler — buna Born kuralı denir. Aşağıda bu adımın özünü kısaca özetliyoruz; ölçümün konunun ayrıntılı anlatımı Ölçüm ve çökme sayfasındadır.

Standart Z tabanında ölçüm, durumu iki ortogonal projektöre böler: |0⟩⟨0| ve |1⟩⟨1|. |0⟩ sonucunun olasılığı |⟨0|ψ⟩|²dır; |1⟩ için benzer şekilde |⟨1|ψ⟩|²dır. Ölçüm sonrası durum ilgili projeksiyona yeniden normalize edilerek güncellenir (külliyen kısmi ölçüm formülüne geneller).

Farklı tabanlarda ölçüm, Bloch üzerinde farklı “kutuplara” projeksiyon demektir. Bu yüzden ara ölçümler hesaplamayı klasik bilgiyle karıştırabilir ve dolanıklığı kırabilir — devre tasarımında “ne zaman ölçüleceği” kadar “hangi tabanda ölçüleceği” de önemlidir.

Tek bir kübit kürenin üzerinde tek bir okla anlatılabilir; peki ya iki kübit? Beklentinin aksine iki Bloch küresini yan yana koymak yetmez — çünkü iki kübit, birbirleriyle dolanık hâle gelebilir ve bu, hiçbir yerel resimde göremeyeceğimiz bir bağ kurar. Pratikte n kübit demek, mümkün konfigürasyon sayısının 2 üzeri n kadar üssel büyümesi demektir; bir algoritmanın gerçek gücü de tam bu büyük ortak uzayda saklıdır. Bu bölüm, çok kübitli durumları anlatan tensör ürünü dilini, dolanıklığın klasik korelasyondan neden farklı olduğunu ve algoritmaların asıl olarak burada neden yaşadığını sade adımlarla anlatır.

n kübitin ortak saf durumu (normalize ket), 2^n boyutlu karmaşık iç çarpım uzayında yaşar: (ℂ²)^{⊗n} ≅ ℂ^{2^n}. Hesaplama tabanı |i₁ … iₙ⟩ ile etiketlenir (i_k ∈ {0,1}); süperpozisyon bu tabanın vektörlerinin karmaşık katsaylı bir birleşimidir. Boyut üssel büyüdüğü için konfigürasyon sayısı klasik n bit ile örtüşür; yine de süperpozisyon ve faz, ortak durumu klasik bir olasılık dağılımına indirgemeye izin vermez.

Tensör çarpımı: yerel durumdan ortak duruma

İki alt sistem A, B için tensör ⊗, bağımsız yerel ketleri birleştirir: |ψ⟩_A ⊗ |φ⟩_B. Çok kübitte çarpım sıkça yazılmaz: |00⟩ ≡ |0⟩⊗|0⟩. Doğrusallık tensör üzerinden yayılır; yerel ünite U ⊗ V, bir kübitte U, diğerinde V çalıştırır — ortak uzayda tensör ürünü olarak temsil edilir.

Ürün (ayrışabilir) durumlar ve dolanıklık

İki kübit için durum ayrışabilir (ürün) sayılır, yalnızca |ψ⟩_{AB} = |ψ⟩_A ⊗ |ψ⟩_B biçiminde yazılabiliyorsa (normalize sabitle). Dolanık ise bu mümkün değildir: ortak ket, iki yerel ketin çarpanı olarak ifade edilemez. Örnek:

(|00⟩ + |11⟩)/√2 — |ψ⟩⊗|φ⟩ olarak açılamaz.

Üç kübitte (|000⟩ + |111⟩)/√2 tipik bir GHZ örneğidir. İki parçalı saf durumlarda özet bir ölçüt: yönlendirilmiş yoğunluk ρ_A = Tr_B(|Ψ⟩⟨Ψ|) dolanıkta çoğu zaman karışık çıkar; ürün durumda ise ρ_A yine saf (rank 1 yoğunluk matrisi) kalır. Bloch bölümünde geçen yerel Bloch vektörü tam çok gövdeli korelasyonu kodlamaz; yalnızca tek kübit istatistiklerini özetler.

Korelasyonlar ve ürün olmayan süperpozisyon

Bell çerçevesi veya GHZ tabanlı tartışmalardaki sapmalar, bu uzayın “çarpanın dışındaki” süperpozisyonlarından beslenir: ölçüm sonuçları arasında, klasik ortak rastgelelikle her zaman özdeş dağılımlar üretmek mümkün olmayabilir. Dolanıklık salt “bağ kurmak” değil; ortak ketin ürün yapısını reddetmesidir.

Küresel faz, göreli faz ve çok gövdeli süperpozisyon

Ortak ket |Ψ⟩ üzerinde çarpan e^{iχ}, tek kübittekine benzer biçimde genelde fiziksel özdeşlik verir (küresel faz): tüm olasılıklar aynı kalır.

Ürün durumlarında fazları çarpanlar arasında bölmek mümkündür; önemli olan göreli fazlardır. İki gövdeli çarpımda tensör çarpanları ortak bir fazla çarpılabilir; gözlem için asıl olan çarpanlar arası ilişkidir.

Dolanık süperpozisyonlarda katsayıların göreli fazları çoğu zaman fiziktir: örneğin (|00⟩ + e^{iφ}|11⟩)/√2 içindeki φ, ortak ölçüm istatistiklerini değiştirebilir; bu faz tek bir kübit yazılışının argümanına indirgenmez. Çok kübitli devrelerde kontrollü fazlar ve dolanıklık yaratan kapılar, girişim desenlerini bu faz ilişkileri üzerinden ayarlar — ünite kapılarla birlikte düşünmek için Pauli ve tek kübit kapıları bölümüne bakın.

Buraya kadar tanıdığımız parçaları kısaca toparlayalım: tek kübit için Bloch küresi üzerinde duran bir ok, bu okun döndürülmesi anlamına gelen kapılar, sonunda klasik bir cevaba inen ölçüm ve birden fazla kübit söz konusu olduğunda dolanıklık yaratan ortak bir durum uzayı. Bu son bölüm, bir algoritma sayfasını ilk kez açtığımızda bütün bu sezgilerin nerede işe yaradığını, nerede yetmediğini ve algoritmik anlatımı okurken hangi resmin kafamızda kalması gerektiğini toparlar. Burada amaç yeni bir kavram eklemek değil; var olanların algoritma anlatımına nasıl çevrildiğini göstermektir.

Qubyt Core’daki algoritma sayfaları burada kurulan dil ile uyumludur: normalize durumlar, ünite evrim, oracle veya diffüzör gibi bileşik bloklar ve ölçüm sonrası yorum. Bu köprüde özellikle şunu netleştiriyoruz: Bloch küresi tek kübitlik durumu düşünmek için güçlü bir geometrik modeldir; çok kübitte ise tam resim tek küre olamaz — algoritma bunların ötesinde ortak durum uzayında çalışır. Donanımda ise “küre” fiziksel bir parça değildir; işlemci durumu bir yüzeye taşımak zorunda kalmadan aynı Hilbert uzayı matematiğiyle işler.

Tek kübit: şema, Bloch ve kolaylık

Tek kübit hatlarında devre şeması ile durumu yan yana okumak doğal gelir: sıradaki her tek kübit kapısı, Bloch küresinde norm koruyan bir hareket (çoğu zaman bir eksen etrafında dönüş düşüncesiyle) üretir. Bu yüzden “kapı geometrisi” ile “olasılığı nereye taşıdık?” sezgisi çakışır; Grover’da diffüzörün iki kübitlik tanımına inmeden önce bile, tek kübit alt bloklarında ortalama etrafında yansıtma düşüncesi doğrudan küresel simetri ile bağlantılıdır. Özetle: tek kübit analizi şema takibinde en görünür ve Bloch ile el içi gibi çizilebilen kısımdır.

Çok kübit: ortak uzay ve zorluk

Algoritmanın tam gövdesi ise genelde n kübitin ortak uzayında yaşar (çok kübit bölümü). Ünite bloklar çok gövdeli kapılar ve dolanık süperpozisyonlar içerir; bunların tek bir üç boyutlu yüzeyde “tam resmi” yoktur. Yerel olarak her bir kübit için Bloch veya yoğunluk düşünmek mümkündür, fakat bu görünümler dolanıklığı tek başına kodlamaz — oracle hangi tabanı işaretliyor, hangi faz ilişkisi oluşuyor gibi sorular çok gövdeli yapıya bağlıdır. Bu yüzden çok kübit kısmını takip etmek, tek kübit kolaylığına göre daha soyut ve çoğu zaman tensör / durum vektörü düşüncesini gerektirir.

Simülatör, kod ve “küreyi çizmek”

Qiskit, Cirq veya benzeri araçlarda durumu liste veya tensör olarak tutmak yaygındır; eğitim arayüzleri bazen tek kübit için Bloch küresi görselleştirmesi sunar — bu, durumu okutmak için seçilmiş bir projeksiyondur; devrenin kendisi küreyi “üretmez”. Sayfadaki metinler bu yüzden küreyi “şema ile düşünülen geometri” olarak kullanır: hesaplama matematiksel olarak ünite matrislerinin bileşkesidir, görsel ise insan için bir özet.

Donanımda fiziksel karşılık var mı?

Kuantum donanımında (çoğu süperiletken kuantum işlemci, iyon tuzakları vb.) fiziksel olarak bir “Bloch küresi” bulunmaz. Küre, saf tek kübit durumlarının faz uzayındaki özdeşlik sınıflarını iki boyutlu bir yüzeye yerleştiren bir modeldir. Gerçek sistemde ise kübit, seçilen fiziksel süreç üzerinden iki seviye (veya birden çok seviyeden iki alt uzay) ile temsil edilir; kontrol sinyalleri ve etkileşimler bu Hilbert uzayı içinde durumu değiştirir. Sonuç olarak: matematiksel durum = küre üzerinde bir nokta düşüncesi; deney düzenindeki nesne = örneğin bir rezonatörde enerji / faz içeren kuantum sistemi. Ölçüm yine projeksiyondur — kürenin “üzerinden okuma”, klasik bit çıktısına çevirir.

Haritadan örnek seçmek için ana sayfadaki içerik planına dönebilirsiniz; Grover ve genlik artırma tartışmalarında “ortalama etrafında yansıtma” sezgisi özellikle tek kübit geometrisiyle yakından ilişkilidir, tam çok kübit analizi ise ilgili sayfanın diyagram ve ölçüm tartışmasına yayılır.