Temsil Teorisi

Temsil teorisi, “bir grubun elemanları bir vektör uzayında hangi matrislerle hareket eder?” sorusunu cevaplar: soyut simetriyi somut lineer cebire çevirir. Kuantum hesaplama için bu köprü hayati önemdedir, çünkü kuantum durumları zaten vektör, simetriler de operatördür. Bu derste tanımı sıfırdan kuracak, en küçük gruplardan birini elle temsil edip karakter analiziyle parçalara ayıracağız; sonra Schur lemması ve triplet–singlet ayrışmasıyla kuantumdaki gücünü göreceğiz. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; iç çarpım ve operatör altyapısı için önce Fonksiyonel Analiz dersini okumanı öneririz.

Temsil Teorisi Nedir? Simetriyi Matrislere Çevirmek

G bir grup ve V, karmaşık sayılar üstünde sonlu boyutlu bir vektör uzayı olsun. G’nin V üstündeki bir temsili, grup işlemini matris çarpımına taşıyan ρ: G → GL(V) eşlemesidir. Üç kurala uyar: ρ(ab) = ρ(a)ρ(b), ρ(e) = I ve ρ(a⁻¹) = ρ(a)⁻¹. Son kural: sıralı adımlar, bileşik adımla aynı sonucu vermeli.

Somutlaştıralım: z ekseni etrafında θ kadar dönme, ℝ³ üstündeki Rz(θ) = [[cos θ, −sin θ, 0], [sin θ, cos θ, 0], [0, 0, 1]] matrisidir; bu, dönüş grubunun tanımlayıcı temsilidir. Aynı gruba her elemanı I ile eşleyen trivial temsil de meşrudur. Yani temsil grubun kendisi değil, grubun bir uzaydaki görünüş biçimidir; temel soru, kaç ayrı görünüş olduğu ve en küçük yapı taşlarının hangileri olduğudur.

Kuantum Fiziği Neden Üniteryen Temsiller İster?

Kuantumda durum bir vektördür ve geçiş olasılığı |⟨φ|ψ⟩|² ile ölçülür. Wigner’ın teoremi der ki: bu olasılıkları koruyan her simetri dönüşümü, üniteryen ya da antiüniteryen bir operatörle gerçeklenir; sürekli simetrilerde sonuç üniteryendir. Bu yüzden simetri gruplarını kuantumda incelerken ρ(g)†ρ(g) = I koşulunu sağlayan üniteryen temsiller ararız — kapıların üniteryenliği de aynı ilkenin gereğidir.

Önceki ünite güzel örnek verir: Fotonik Kuantum Hesaplama dersindeki polarizasyon kübiti, Jones vektörü üstünde 2×2 üniteryen dönüşümlerle döner; kübit dediğimiz şey çoğu zaman bir simetri grubunun en küçük üniteryen temsilidir.

Adım Adım Küçük Bir Temsil: ℤ₂ Ayna Simetrisi

ℤ₂ = {e, p} alalım; p bir ayna yansıması olsun, kuralı p·p = e. V = ℂ²’de |ç⟩ = (1, 0) çift, |t⟩ = (0, 1) tek modu göstersin. Temsil: ρ(e) = [[1, 0], [0, 1]] ve ρ(p) = [[1, 0], [0, −1]]. Denetleyelim: ρ(p)ρ(p) = I = ρ(p·p) ✓ ve ρ(e)ρ(p) = ρ(p) ✓. Özdeğerler hemen okunur: ρ(p)|ç⟩ = +|ç⟩, ρ(p)|t⟩ = −|t⟩; böylece V = V₊ ⊕ V₋ ve her iki altuzay grubun etkisinde kendi içinde kalır.

Karakter χ(g) = Tr ρ(g) iz fonksiyonudur: burada χ(e) = 2, χ(p) = 0. ℤ₂’nin iki adet 1 boyutlu indirgenemez temsili vardır: χ₊ = (1, 1) ve χ₋ = (1, −1). İç çarpımı ⟨f, h⟩ = ½ (f(e)h(e) + f(p)h(p)) olarak alırsak: ⟨χ, χ₊⟩ = ½(2·1 + 0·1) = 1, ⟨χ, χ₋⟩ = ½(2·1 + 0·(−1)) = 1 ve ⟨χ, χ⟩ = ½(4 + 0) = 2 = 1² + 1². Sonuç: χ = χ₊ + χ₋; temelimiz iki 1 boyutlu parçanın toplamı ve boyutlar tutar: 2 = 1 + 1.

İndirgenemez Temsiller, Schur Lemması ve Karakterler

Her g için ρ(g)W ⊆ W koşulunu sağlayan, {0} ve V’den farklı bir W altuzayı yoksa temsil indirgenemezdir; öyle bir W varsa temsil indirgenebilirdir ve parçalanır. Sonlu ya da kompakt grupların üniteryen temsilleri için ana sonuç şudur: her temsil, indirgenemezlerin doğrudan toplamı olarak benzersiz biçimde yazılır. İndirgenemezler, simetrinin atomlarıdır.

Motor, Schur lemmasıdır: ρ indirgenemezse ve Aρ(g) = ρ(g)A her g için geçerliyse, A = λI olmak zorundadır. Fiziksel okuması: Hamiltoniyen tüm simetri operatörleriyle yer değiştiriyorsa özuzayları indirgenemez uzaylara oturur; dejenere seviyelerin çoğu budur. Karakterler atomları etiketler: sonlu gruplarda ⟨χᵢ, χⱼ⟩ = δᵢⱼ, yani indirgenemez karakterler ortonormaldir ve karakter temsilin parmak izidir. SU(2)’nin indirgenemezleri j = 0, ½, 1, 3/2, ... ile etiketlenir; boyut 2j + 1’dir ve j = ½ tam olarak tek kübitlik spin uzayıdır. Sürekli grupların türev-alınan dünyası ayrı bir derstir: Lie Grupları ve Lie Cebirleri.

İki Kübiti Birlikte Temsil Etmek: Tensor Çarpımı ve Singlet

İki kübitlik sistem H = ℂ² ⊗ ℂ²’dir; boyut 2 × 2 = 4, baz |00⟩, |01⟩, |10⟩, |11⟩. Her iki kübite aynı dönmenin uygulanması U ⊗ U ile (Kronecker çarpımı) temsil edilir. Soru: bu 4 boyutlu temsil parçalanır mı? Cevap: 2 ⊗ 2 = 3 ⊕ 1. Triplet (j = 1) uzayı üç durumdan kurulur: |00⟩, (|01⟩ + |10⟩)/√2 ve |11⟩. Singlet (j = 0) tek başına durur: |ψ₋⟩ = (|01⟩ − |10⟩)/√2. Normalizasyon denetimi: (1/√2)² + (1/√2)² = ½ + ½ = 1 ✓.

Singlet neden özel? SU(2)’nin her U elemanı için (U ⊗ U)|ψ₋⟩ = |ψ₋⟩: hiçbir dönme bu durumu ayırt edemez; j = 0 temsilinin tanımı gereği değişmezi budur. Heisenberg etkileşimi H ∝ S₁·S₂’de özdeğerler parçalanmadan okunur: singlet’te −3/4, triplet’te +1/4 (ℏ = 1). |ψ₋⟩ aynı zamanda maksimum dolanık bir durumdur; devamı Dolanıklık Teorisi dersinde.

Somut Uygulama Alanları

• Spin kübitleri: spin-½ uzayı SU(2)’nin en küçük nontrivial temsilidir; Spin Kübitler dersindeki manyetik alan evrimi bu temsilin içinde kalır.
• Molekül simetrileri: nokta grubunun karakter tablosu, orbitalleri ve titreşim modlarını indirgenemezlere ayırır; spektroskopik seçim kuralları buradan çıkar.
• Hata düzeltme: kod uzayı, stabilizer grubunun +1 özuzayı olan invariant bir altuzaydır; simetriyi yapıya gömen yöntemler Tensor Ağları dersine köprü kurar.

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

• “Temsil, grubun ta kendisidir” sanmak: aynı grup sonsuz sayıda temsil alabilir; temsil bir görünüş seçimidir ve karakterler bu seçimleri ayırt eder.
• Boyut karışıklığı: dim(V ⊗ W) = dim V × dim W’dir, çarpım; matris düzeyinde işlem Kronecker çarpımıdır, adi çarpım değil. Denge: 4 = 3 + 1.
• ρ(g)ρ(h) = ρ(h)ρ(g) beklemek: bu genel olarak yalnız abelian gruplarda doğrudur; non-abelian temsillerde uygulama sırası sonucu değiştirir.
• Trivial (j = 0) parçayı unutmak: 2 ⊗ 2 = 3 ⊕ 1’deki 1’i atlamak boyutları bozar; singlet çoğu zaman en ilginç parçadır.

Bu ders İleri Matematik ünitesinin ikinci halkasıydı; bir sonraki ünitede Kuantum Kanal Kapasitesi hesaplarında kovaryant kanalların optimalliği temsil teorisiyle kısaltılır. Temellere dönmek istersen Kuantum Hesaplama 101, tüm derslerin haritası için içindekiler sayfası seni bekliyor.

Kaynaklar ve İleri Okuma

Temsil teorisi — Vikipedi — Türkçe genel giriş maddesi.

Group representation — Wikipedia — Temsil tanımı, üniteryen temsiller ve SO(3), SU(2) örnekleri.

Representation theory — Wikipedia — Alanın genel haritası ve ana kavramları.

Schur's lemma — Wikipedia — Lemmanın ifadesi ve kanıt fikri.

IBM Quantum Learning — Kübit, kapı ve üniteryen evrim için resmi eğitim platformu.