Transpoz ve Adjoint

Kuantum Hesaplama · Bölüm 13Kuantum Hesaplama2026-09-29Ders

Bu derste lineer cebirin kuantum hesaplamada en çok kullandığımız iki işlemini öğreneceksin: satırlarla sütunların yerini değiştiren transpoz ve karmaşık sayılarda “doğru çevirme” işlemi olan adjoint (eşlenik transpoz). Serinin tamamına Kuantum Hesaplama dersleri sayfasından ulaşabilirsin; önceki ünitenin Karmaşık Sayılar dersinde gördüğün eşlenik kavramı, bu dersten itibaren her adımda karşına çıkacak.

Transpoz: Satırlarla Sütunların Yer Değiştirmesi

Bir matrisin transpozu Aᵀ ile gösterilir ve tek bir iş yapar: satırlarla sütunların yerini değiştirir. A’nın birinci satırı Aᵀ’nin birinci sütunu, ikinci satırı ikinci sütunu olur; sonuçta m×n’lik bir matris n×m’lik hâle gelir. Yazıda [[2, 5], [1, 3]] biçimini kullanacağız: her köşeli parantez bir satırı gösterir, yani ilk satır 2 ve 5’ten oluşur. Bu matrisin transpozu Aᵀ = [[2, 1], [5, 3]]’tür; (2, 5) satırı artık dikey duran ilk sütundur.

Transpozun akılda tutulacak üç özelliği vardır: (Aᵀ)ᵀ = A (iki kez çevirmek ilk hâle döndürür), (A + B)ᵀ = Aᵀ + Bᵀ ve en kritik olanı, Matris Çarpımı dersindeki sıra kuralına bağlanan (AB)ᵀ = BᵀAᵀ. Çarpımın transpozu alınırken çarpanların sırası ters döner. Boyutlar bunu zaten zorunlu kılar: A 2×3 ve B 3×4 ise AB 2×4’tür; bunun transpozu 4×2 olmalıdır ve bunu ancak Bᵀ (4×3) çarpı Aᵀ (3×2) sağlar.

Adjoint: Eşlenik Transpoz (A†)

Kuantum mekaniğinde genlikler gerçek değil karmaşık sayılardır ve karmaşık sayılarda yalnızca satır-sütun değiştirmek yetmez; uzunluk (norm) hesabı eşlenik ister. Bu yüzden adjoint tanımlanır: A†, her girdisinin karmaşık eşleniği alınmış A’nın transpozudur, yani A† = (Ā)ᵀ. İki adımın sırası önemli değildir; önce transpoz alıp sonra eşleniklemek de aynı sonucu verir. † (dagger) işareti standarttır; bazı kitaplarda Aᴴ ya da A* gösterimiyle karşılaşırsın.

Kritik sınır durumu şudur: tüm girdileri gerçek olan bir matrisin eşleniği kendisidir, dolayısıyla adjointi transpozuna eşittir. Gerçek sayılar dünyasında adjoint, yeni bir şey söylemez; fark yalnızca i içeren girdilerde belirir. Kuantum hesaplamada genlikler karmaşık olduğu için “doğru çevirme” işlemi hep adjointtir; işte bu yüzden kuantum kitaplarında Aᵀ’den çok † işaretini görürsün.

Adım Adım: Küçük Bir Matris Üzerinde Hesap

A = [[2, i], [3+i, 1]] matrisiyle başlayalım. Transpoz: satırları sütuna çevir, Aᵀ = [[2, 3+i], [i, 1]]. Adjoint: önce eşlenik al, yani her i’nin işaretini çevir: Ā = [[2, −i], [3−i, 1]]; sonra transpozunu al: A† = [[2, 3−i], [−i, 1]]. Kısayolu fark et: A†’nin (1,2) girdisi, A’nın (2,1) girdisinin eşleniğidir; köşegen üzerindeki girdiler yer değiştirmez, yalnızca eşleniklenir (2 ve 1 burada değişmedi çünkü gerçek sayılar).

Aynı işlemi kuantumun önemli bir matrisinde deneyelim. Pauli kapılarından Y matrisi Y = [[0, −i], [i, 0]] olsun. Eşleniği [[0, i], [−i, 0]]’dır; bunun transpozu [[0, −i], [i, 0]] — başladığımız matrisin kendisine döndük. Kendi adjointine eşit matrislere Hermitian denir; ölçülen her fiziksel büyüklüğün (enerji, spin bileşeni) matrisi bu türdendir ve özdeğerleri bu yüzden gerçektir. Hermitian olmayan bir A için ise A†’nin özdeğerleri, A’nın özdeğerlerinin eşlenikleridir. Bu ilişkileri Hermitian Matrisler ve Özdeğer ve Özvektör derslerinde derinleştireceğiz.

Kuantum Hesaplamada Adjoint Neden Her Yerde?

Birinci sebep Dirac Bra-ket Notasyonu: bra, ketin adjointidir. |ψ⟩ = [α, β] sütun vektörüyse ⟨ψ| = [α*, β*] satır vektörüdür; yani ⟨ψ| = (|ψ⟩)†. İç Çarpım buradan doğar: ⟨φ|ψ⟩ = Σ φᵢ*ψᵢ, iki bileşenli durumda φ₁*ψ₁ + φ₂*ψ₂. Normalizasyon koşulu da adjointle yazılır: ⟨ψ|ψ⟩ = Σ|ψᵢ|² = 1. Somut kontrol: |ψ⟩ = (1/√2)(|0⟩ + i|1⟩) için genlikler 1/√2 ve i/√2’dir; ⟨ψ|ψ⟩ = |1/√2|² + |i/√2|² = 1/2 + 1/2 = 1 olur. Eşleniği unutsaydın (i/√2)² = −1/2 çıkacaktı ve toplam sıfıra düşecekti; normalizasyon, eşlenik olmadan tanımsızdır.

İkinci sebep kapılar ve olasılık korunumu. Kuantum evrimi üniteryen bir U matrisiyle gerçekleşir ve üniteryenlik adjointle tanımlanır: U†U = UU† = I. Bu koşul, durumun normunun (toplam olasılığın) evrim boyunca sabit kalacağını garanti eder; olasılık korunumu, matris dilinde adjointin işidir. Örnek: Hadamard kapısı H = (1/√2)[[1, 1], [1, −1]] gerçek ve simetrik olduğu için H† = H’dir; H·H = (1/2)[[2, 0], [0, 2]] = I olduğu için de üniteryendir. Adjointin soyut tanımı da iç çarpıma dayanır: ⟨φ|Aψ⟩ = ⟨A†φ|ψ⟩. Üniteryenliğin irdelemesi Üniteryen Matrisler dersine kalmıştır.

Sık Yapılan Hatalar ve Yanılgılar

Adjoint konusunun klasik tuzakları şunlardır; her biri gerçekten karşına çıkar.

Sırayı ters çevirmemek. (AB)† = A†B† yazmak yaygın bir hatadır; doğrusu (AB)† = B†A†’dir. Yukarıdaki boyut kontrolü, sıranın neden dönmesi gerektiğini tek başına gösterir.
Eşleniği unutup normu sıfırlamak. ψ = [1, i] vektörünü eşleniksiz toplayan biri 1² + i² = 1 − 1 = 0 bulur: sıfırdan farklı bir vektörün “uzunluğu sıfır” çıkar ve olasılık hesapları çöker. Adjointle ψ†ψ = |1|² + |i|² = 2’dir; normalize hâli (1/√2)[1, i]’dir.
A† ile A⁻¹’i karıştırmak. İkisi yalnızca üniteryen matrislerde eşittir (U† = U⁻¹). Kuantum kapıları üniteryen olduğu için bu eşitlik devre hesaplarında çok kullanılır ve “adjoint zaten terstir” diye genellenmeye başlanır; genel bir matris için bu yanlıştır.
Simetrik sanıp Hermitian saymak. [[0, i], [i, 0]] matrisi simetriktir (transpozu kendisidir) ama Hermitian değildir: adjointi [[0, −i], [−i, 0]] çıkar. Karmaşık girdilerde köşegenin iki yanındaki girdiler birbirinin eşleniği olmalıdır; simetri tek başına yetmez.
Skaler katsayıyı olduğu gibi bırakmak. (cA)† = c*A†’dir; katsayının da eşleniği alınır, örneğin (iA)† = −iA†’tir. Transpozda ise katsayı aynen kalır: (cA)ᵀ = cAᵀ.

Özetle: transpoz satır-sütun değiştirir, adjoint buna eşlenik ekler ve kuantum hesaplamanın grameri bu tek işlem üstüne kurulur — bra’lar, iç çarpımlar, normalizasyon, üniteryenlik ve gözlemlenebilirler. Ünitenin devamındaki Ortonormal Bazlar dersi bu dili taban tabana kullanacak; o dersten önce Y matrisinin ve (1/√2)[1, i] vektörünün hesaplarını elle birer kez tekrarlamak en hızlı alışma yoludur.

Sık Sorulan Sorular

Transpoz ile adjoint arasındaki fark nedir?

Transpoz yalnızca satırlarla sütunların yerini değiştirir; adjoint (A†) buna karmaşık eşlenik almayı ekler: A† = (Ā)ᵀ. Gerçek girdili matrislerde ikisi aynıdır; i içeren girdilerde ayrışırlar ve kuantum hesaplamada norm olasılık verdiği için doğru işlem hep adjointtir.

Kuantum hesaplamada adjoint ne işe yarar?

Üç temel işi vardır: ketin bra’sını üretir (⟨ψ| = (|ψ⟩)†), iç çarpımı ve normalizasyonu tanımlar (⟨ψ|ψ⟩ = 1) ve üniteryenlik koşulu U†U = I ile olasılık korunumunu garanti eder. A† = A koşulundaki Hermitian matrisler ise ölçülen fiziksel büyüklükleri temsil eder.

(AB)† nasıl hesaplanır?

Kural (AB)† = B†A†’dir: adjointler alındıktan sonra çarpanların sırası ters çevrilir. Neden: A 2×3 ve B 3×4 ise AB 2×4’tür; bunun adjointi 4×2 olmalıdır ve B† (4×3) çarpı A† (3×2) tam bu boyutu verir. Aynı ters sıra kuralı transpoza da uygulanır: (AB)ᵀ = BᵀAᵀ.

A† ne zaman A⁻¹’e eşittir?

Yalnızca U matrisi üniteryenken: U†U = UU† = I ise U† = U⁻¹’dir. Kuantum kapıları üniteryen olduğu için bu eşitlik devre hesaplarında sık kullanılır; ancak genel bir matris için yanlıştır, adjoint ile ters matris birbirine karıştırılmamalıdır.

Kaynaklar ve İleri Okuma

Devrik matris — Vikipedi — Transpozun Türkçe tanımı, gösterimleri ve temel özellikleri.

Conjugate transpose — Wikipedia — Eşlenik transpozun (A†, Aᴴ, A*) tanımı, özellikleri ve kuantum mekaniğindeki rolü.

Transpose — Wikipedia — Transpozun özelliklerinin, (AB)ᵀ = BᵀAᵀ kuralı dâhil, sistematik listesi.

IBM Quantum Learning — Bra-ket, iç çarpım ve üniteryenlik dâhil kuantum lineer cebirini resmî derslerle ilerleten kaynak.

MIT OpenCourseWare: 18.06 Linear Algebra — Transpoz ve ilişkili kavramları sıfırdan işleyen ücretsiz üniversite dersi.