Hermitian Matrisler

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

Kuantum hesaplamada ölçtüğün her şeyin arkasında bir matris vardır ve o matris neredeyse her zaman Hermitian'dır. Bu derste Hermitian matrisi sıfırdan tanımlayacak, bir örnekle adım adım nasıl doğrulandığını gösterecek ve kuantum mekaniğinde ölçülebilen büyüklüklerin neden tam olarak bu matrislerle temsil edildiğini anlatacağız. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına göz atabilirsin.

Hermitian Matris Nedir?

Kare bir A matrisi, eşlenik devriğine eşitse Hermitian'dır: A = A†. A† işaretini Transpoz ve Adjoint dersinde görmüştün: matrisi devirip her girişin karmaşık eşleniğini almak demektir. Eşleniği de önceki ünitenin Karmaşık Sayılar dersinden hatırla: i'nin eşleniği −i'dir, 3 gerçektir, 2+5i'nin eşleniği 2−5i'dir. Test pratikte şudur: matrisi devir, girişleri eşlenikle; sonuç baştaki matrisin aynısı çıkacak.

Somut bir örnekle gidelim. A'nın birinci satırı 2 ve 1+i, ikinci satırı 1−i ve 3 olsun.

Matrisi devir: satırlar sütuna döner; birinci satır 2 ve 1−i, ikinci satır 1+i ve 3 olur.
Her girişin eşleniğini al: 1−i → 1+i, 1+i → 1−i; 2 ile 3 değişmez.
Sonuç, baştaki A'nın ta kendisi. A = A† sağlandı; bu matris Hermitian'dır.

Karşı örnek en az örneğin kendisi kadar öğreticidir. B'nin birinci satırı 1 ve i, ikinci satırı i ve 2 olsun. B devriği de kendisidir; yani B simetriktir. Ama eşlenik adımında i'ler −i'ye döner ve sonuç B'den farklı çıkar: B Hermitian değildir. İki pratik kural çıkar: Hermitian matrisin köşegen girişleri gerçektir (köşegende aᵢᵢ = aᵢᵢ* ancak sanal kısım sıfırsa mümkündür) ve simetrik olan her matris Hermitian değildir; iki kavram yalnızca tüm girişler gerçekken çakışır.

Temel Özellikler: Gerçek Özdeğerler ve Dik Özvektörler

Üç özellik Hermitian matrisleri kuantum mekaniğinde vazgeçilmez yapar. Birincisi köşegenin gerçekliğidir; yukarıda gördün. İkincisi, tüm özdeğerler gerçektir: A|ψ⟩ = λ|ψ⟩ eşitliğini soldan ⟨ψ| ile çarparsan λ⟨ψ|ψ⟩ = ⟨ψ|A|ψ⟩ elde edersin. A = A† olduğundan ⟨ψ|A|ψ⟩ kendi eşleniğine eşittir, yani gerçektir; ⟨ψ|ψ⟩ ise iç çarpım tanımı gereği pozitif gerçektir. Gerçeğin pozitif gerçeğe bölümü gerçek olduğundan λ = ⟨ψ|A|ψ⟩ / ⟨ψ|ψ⟩ gerçektir.

Üçüncüsü, farklı özdeğerlerin özvektörleri birbirine diktir: ⟨ψᵢ|ψⱼ⟩ = 0. Sonuç, lineer cebirin en güzel teoremlerinden biri olan spektral ayrışımdır: her Hermitian matris, ortonormal özvektörleriyle A = Σᵢ λᵢ|ψᵢ⟩⟨ψᵢ| biçiminde yazılabilir. Buradaki kavramlar için Özdeğer ve Özvektör, İç Çarpım ve Ortonormal Bazlar derslerine bakabilirsin.

Kuantum Mekaniğinde Gözlenebilirler

Kuantum mekaniğinin temel kuralı şudur: ölçülebilir her büyüklüğe (enerji, spin, polarizasyon...) Hermitian bir matris karşılık gelir; bunlara gözlenebilir (observable) denir. Neden tam olarak Hermitian? Çünkü ölçümde okuyabileceğin değerler matrisin özdeğerleridir; Hermitian matrisin özdeğerleri gerçek olduğu için sonuçlar laboratuvarda okunabilen gerçek sayılardır. Sanal bir özdeğer, okunamayacak bir ölçüm sonucu demek olurdu.

Pauli Z ile somutlaştıralım: Z'nin birinci satırı 1 ve 0, ikinci satırı 0 ve −1'dir; köşegeni gerçek olduğundan Hermitian'dır. Z|0⟩ = |0⟩ ve Z|1⟩ = −|1⟩ ilişkileri geçerlidir; dolayısıyla Z ölçümünde ya +1 ya −1 okursun. |+⟩ = (|0⟩ + |1⟩)/√2 için beklenen değeri hesaplayalım: önce Z|+⟩ = (|0⟩ − |1⟩)/√2, sonra ⟨+|Z|+⟩ = ½(1·1 + 1·(−1)) = 0. Yani |+⟩ durumundaki kübiti tekrar tekrar ölçersen ortalama 0 okursun; sonuçlar yarı +1, yarı −1 dağılır. Dikkat: beklenen değerin özdeğer olması gerekmez; 0, Z'nin özdeğeri değildir.

X, Y ve Z Pauli matrislerinin üçü de Hermitian'dır; çok kübitli sistemlerde bunların Tensor ve Kronecker Çarpımı dersinde gördüğün ⊗ ile yazılan genişletmeleri (Z ⊗ I gibi) yine Hermitian'dır. Son bir köprü: Hermitian bir A'dan U = e^(iθA) ile üretilen matris her zaman üniteryendir; kuantum kapıları ve zaman evrimi tam bu yolla inşa edilir. Ölçüm dili Hermitian'la, dönüşüm dili üniteryenle konuşulur.

Hermitian mı, Üniteryen mi?

Yeni başlayanların en sık karıştırdığı ikili budur; ikisi de "kendine benzer" matrisler gibi görünür ama rolleri tamamen farklıdır:

Hermitian: A = A†. Ölçüm ve gözlenebilirlerle ilgilidir; özdeğerler gerçektir; durumun normunu korumak zorunda değildir.
Üniteryen: U†U = I. Kapı ve evrimle ilgilidir; normu, yani olasılık toplamını korur; özdeğerleri mutlak değeri 1 olan karmaşık sayılardır. Ayrıntılar Üniteryen Matrisler dersinde.
İkisi birden mümkün: Pauli X hem Hermitian hem üniteryendir; bu bir arada ancak A² = I'yi, yani özdeğerlerin +1 ve −1 olmasını zorunlu kılar. Hadamard H de her ikisine girer.
Tüm üniteryenler Hermitian değildir: köşegeninde 1 ve i taşıyan S kapısı üniteryendir; ama S†'nin köşegeni 1 ve −i olduğundan Hermitian değildir.

Kısa yol haritası: ölçüyorsa Hermitian, dönüştürüyorsa üniteryen; ikisini birden taşımak özel bir ayrıcalıktır ve bu matrisler kendi terslerine eşittir.

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

"Hermitian demek simetrik demek." Yalnızca tüm girişler gerçekken doğrudur; yukarıdaki B örneği simetriğin tek başına yetmediğini gösteriyor.
Sadece devirip eşleniği atlamak. A† hesabındaki en yaygın hata budur; A = Aᵀ kontrolü ile A = A† kontrolü aynı şey değildir.
"Kuantumdaki her matris Hermitian'dır." Değildir: kapılar genelde üniteryendir (S, T gibi), gözlenebilirler Hermitian'dır; X ve H ikisine birden girer.
Beklenen değeri özdeğer sanmak. ⟨ψ|A|ψ⟩ özdeğerlerin olasılıklarla ağırlıklandırılmış ortalamasıdır; Z örneğinde gördüğün gibi özdeğer olmayan sonuç da çıkabilir.
İki Hermitian'ın çarpımını Hermitian sanmak. (AB)† = B†A† = BA olduğundan çoğu kez AB ≠ BA'dır; çarpım ancak A ile B komütlenirse Hermitian olur. Toplama farklıdır: iki Hermitian'ın toplamı her zaman Hermitian'dır.

Özet: tanım A = A†; köşegen gerçek, özdeğerler gerçek, özvektörler dik; ölçüye Hermitian, dönüşüme üniteryen.

Sık Sorulan Sorular

Hermitian matris nedir?

A = A† eşitliğini sağlayan kare matristir: matris, eşlenik devriğine eşittir. Sonuçları: köşegen girişleri gerçektir, tüm özdeğerleri gerçektir, farklı özdeğerlerin özvektörleri diktir ve matris A = Σᵢ λᵢ|ψᵢ⟩⟨ψᵢ| biçiminde ayrıştırılabilir. Kuantumda ölçülebilen büyüklükler (gözlenebilirler) Hermitian matrislerle temsil edilir.

Hermitian matrisin özdeğerleri neden gerçektir?

A|ψ⟩ = λ|ψ⟩ eşitliğini soldan ⟨ψ| ile çarpınca λ⟨ψ|ψ⟩ = ⟨ψ|A|ψ⟩ çıkar. A = A† olduğundan ⟨ψ|A|ψ⟩ kendi eşleniğine eşittir, yani gerçektir; ⟨ψ|ψ⟩ de pozitif gerçek olduğu için λ = ⟨ψ|A|ψ⟩ / ⟨ψ|ψ⟩ gerçek çıkmak zorundadır.

Hermitian matris ile üniteryen matris arasındaki fark nedir?

Hermitian tanımı A = A†, üniteryen tanımı U†U = I'dir. Hermitian matrisler ölçülebilen büyüklükleri temsil eder, özdeğerleri gerçektir; üniteryenler kapı ve evrimi temsil eder, normu korur, özdeğerleri mutlak değeri 1 olan karmaşık sayılardır. Bir matris ikisine birden üye olabilir; Pauli X buna örnektir ve özdeğerleri yalnızca +1 ve −1'dir.

Kuantum mekaniğinde gözlenebilirler neden Hermitian olmak zorundadır?

Çünkü ölçümde okunabilecek değerler matrisin özdeğerleridir ve ölçüm sonuçlarının gerçek sayılar olması gerekir; Hermitian olmayan bir matrisin karmaşık özdeğerleri okunamaz bir ölçüm sonucuna karşılık gelirdi. Ayrıca beklenen değer ⟨ψ|A|ψ⟩ ancak bu durumda her durum için gerçektir.

Kaynaklar ve İleri Okuma

Hermitian matrix — Wikipedia — Hermitian matrislerin tanımını, özelliklerini ve örneklerini derli toplu veren İngilizce madde.

Spectral theorem — Wikipedia — Hermitian matrislerin özdeğer-özvektör ayrışımını güvence altına alan spektral teoremi anlatan madde.

Pauli matrices — Wikipedia — Derste örnek olarak kullandığımız X, Y ve Z Pauli matrislerinin özelliklerini inceleyen madde.

IBM Quantum Learning — Gözlenebilirler ve kuantum kapılarının lineer cebirini uygulamalı işleyen resmî Qiskit öğrenme platformu.