Lie Grupları ve Lie Cebirleri

Kuantum kapılarının arkasında yalnızca matris çarpımı değil, derin bir cebirsel yapı vardır. Bu derste sürekli simetrilerin matematiğini tanıyacağız: Lie grupları pürüzsüzce gezilebilen dönüşüm aileleri, Lie cebirleri ise bunların “küçük adım” dilidir: sonsuz küçük dönüşleri, komütatörleri ve kapı üretme kurallarını verir. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin.

Lie Grubu: Sürekli Dönüşüm Aileleri

Bir grup, birleşmeli bir işlem altında kapalı, birim elemanı olan ve her elemanın tersini içeren yapıdır; klasik biti ters çeviren {I, X} kümesi böyledir. Ama kübit işinde sürekli parametreler de vardır: R_z(θ) kapısı θ’yi sıfırdan 2π’ye sürekli çevirir. İşte Lie grubu, grup kurallarını sağlayan ve üzerinde pürüzsüzce gezilebilen yapıdır: düğmeyi sonsuz ince çevirebilirsin, komşu elemanlar arasındaki fark sonsuz küçüktür.

En önemli Lie grupları üniteryenlerdir: tüm n×n üniteryen matrisler U(n)’yi, determinantı 1 olanlar SU(n)’yi oluşturur. Kübitte küresel fiziksel faz anlamsız olduğundan asıl grup SU(2)’dir; X = σₓ, Z = σ_z gibi kapılar bu grubun üyeleridir. Üç boyutlu uzayın dönüşleri SO(3)’te toplanır; SU(2), SO(3)’ü iki katmanlı bir örtü gibi sarar: bir spini 360° döndürmek işareti ters çevirir, 720° gerekir. Spin donanımı için Spin Kübitler dersine bakabilirsin.

Lie Cebiri: Grubun Teğet Uzayı

Lie cebiri, grubun birim elemanındaki teğet uzayıdır: “birimden hemen sonra hangi yönlerde hareket edebilirim?” sorusunun cevabıdır. Bu yönler iki işlemle donatılır: doğrusal bileşim ile komütatör, yani [A, B] = AB − BA. Bir Lie cebiri, komütatör altında kapalı bir vektör uzayıdır; antisimetri ([A,B] = −[B,A]) ve Jacobi özdeşliği ([A,[B,C]] + [B,[C,A]] + [C,[A,B]] = 0) tutarlılığı garanti eder. İki yapının görevlerini karşılaştıralım:

• Grup: sonlu (tam) dönüşler; işlem matris çarpımı; elemanlar üniteryen; geometrisi eğridir.
• Cebir: sonsuz küçük dönüşler; işlem komütatör ve doğrusal bileşim; elemanlar ters-Hermitiyendir (fizikte Hermitiyen üreteçler kullanılır); geometrisi düz bir vektör uzayıdır.
• Cebir tüm yerel bilgiyi yapı sabitlerinde taşır; üstel gösterim cebirden gruba kaldırır.

Yapı sabitleri: T_a taban üreteçleri ise [T_a, T_b] = Σ_c f_abc·T_c yazılır. su(2) için taban −iσₓ/2, −iσᵧ/2, −iσ_z/2 seçilirse yapı sabitleri Levi-Civita sembolü εᵢⱼₖ’in ta kendisidir. Bu tablo, üreteçlerin birbirini nasıl “döndürdüğünü” söyler; geçerli bir temsil aynı tabloyu korumak zorundadır — derinliğini Temsil Teorisi dersinde işliyoruz.

su(2) Cebiri ve Pauli Matrisleri

Tek kübitin cebiri su(2)’dir: izi sıfır olan 2×2 ters-Hermitiyen matrislerin üç boyutlu uzayı. Fizikte onların i katı yerine Hermitiyen Pauli matrisleri üreteç olarak kullanılır: σₓ, σᵧ ve σ_z. Birim matris I ile birlikte bu üçlü, tüm 2×2 Hermitiyen matrisleri gerer; izleri sıfır olduğundan üstelleri determinant 1 verir ve SU(2)’yi üretir.

Pauli üreteçlerinin çarpım kuralları cebirin iskeletidir:

• Döngüsel çarpımlar: σₓσᵧ = iσ_z, σᵧσ_z = iσₓ, σ_zσₓ = iσᵧ.
• Komütatörler: [σₓ, σᵧ] = 2iσ_z, [σᵧ, σ_z] = 2iσₓ, [σ_z, σₓ] = 2iσᵧ; genel kural [σᵢ, σⱼ] = 2i·εᵢⱼₖσₖ.
• Antikomütatör: {σᵢ, σⱼ} = σᵢσⱼ + σⱼσᵢ = 2δᵢⱼI; özellikle σᵢ² = I.

Bu tablo, kapı devrelerinin cebirsel parmak izidir: iki üretecin komütatörü, üçüncü eksende bir dönüş demektir.

Üstel Gösterim: Cebirden Kapıya

Üreteçten kapıya geçiş üstel gösterimle yapılır: U = e^(−iθG/2). Hesap akışını R_z(θ) = e^(−iθσ_z/2) ile izleyelim. (1) σ_z² = I olduğundan seri çift ve tek kuvvetlere ayrılır: e^(−iθσ_z/2) = cos(θ/2)·I − i·sin(θ/2)·σ_z. (2) Matrisi yaz: köşegen e^(−iθ/2) ve e^(iθ/2), köşegen dışı sıfır. (3) Determinantı kontrol et: e^(−iθ/2)·e^(iθ/2) = 1 — kapı SU(2)’dedir. Aynı kapı birden çok (G, θ) çiftinin üsteli olabilir.

Küresel faza kadar her tek kübit kapısı bir dönüştür: R_n̂(θ) = e^(−iθ(n̂·σ)/2), n̂ ekseninde θ kadar döner. Hadamard H = (σₓ + σ_z)/√2 olduğundan, H küresel faza kadar (1,0,1)/√2 ekseninde π’lik dönüşe eşittir. Çok kübitli kapılar ve dolanıklık bu grupları büyütür; devamı Dolanıklık Teorisi dersinde.

Komütatörün sıfır olmaması ne demek? Küçük bir hesapla görelim: R_x(π/2) = (1/√2)(I − iσₓ), R_z(π/2) = (1/√2)(I − iσ_z). Çarpım: R_x·R_z = ½(I − iσₓ − iσ_z + iσᵧ), çünkü σₓσ_z = −iσᵧ. Sıra çevrilince: R_z·R_x = ½(I − iσₓ − iσ_z − iσᵧ), çünkü σ_zσₓ = iσᵧ. İki sonuç yalnızca σᵧ işaretinde ayrılır ama farklı kapılardır: üsteller çarpılırken cebirde bir ekstra dönüş doğar. Bunu sayan Baker–Campbell–Hausdorff (BCH) açılımı e^A·e^B = e^(A + B + ½[A,B] + ⋯) biçimindedir; yalnızca [A,B] = 0 iken e^A·e^B = e^(A+B) olur. Kapı birleştiren her devre derleyicisi bu düzeltmeleri hesaplar.

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

• “e^A·e^B = e^(A+B) her zaman doğrudur.” Yalnızca [A,B] = 0 iken doğrudur; [σₓ, σᵧ] = 2iσ_z ≠ 0 olduğundan R_x ile R_z’nin sırası sonucu değiştirir — yukarıdaki hesapta gördük.
• “Lie cebirinin elemanları üniteryendir.” Hayır; grubun elemanları (kapılar) üniteryendir, cebir elemanları ters-Hermitiyendir; Hermitiyen üreteçlerin üsteli üniteryen kapı verir.
• “Lie cebiri, grubun çarpma altında kapalı alt kümesidir.” Cebir teğet uzayıdır; iki ters-Hermitiyen matrisin çarpımı genelde ters-Hermitiyen değildir. Kapalılık komütatör işlemi içindir.
• “Komütatörde işaret önemsizdir.” Antisimetri gereği [σᵧ, σₓ] = −2iσ_z’dir; işareti çevirmek dönüşü ters yöne almak demektir.
• “U(2) ile SU(2) aynı şeydir.” Aradaki fark küresel fazdır: u(2)’nin boyutu 4, su(2)’nin boyutu 3’tür. Ölçümü değiştirmez ama cebirsel yapıyı değiştirir.

Bu yapılar tek kübite mahsus değil: sonsuz boyutlu sistemlerin operatör teorisi Fonksiyonel Analiz dersinde, çok kübitli karşılığı Tensor Ağları dersinde işlenir; Rabi salınımlarını Nötr Atom Kübitler dersinde görebilirsin. Serinin başı için Kuantum Hesaplama 101, kanal kapasitesi için sonraki ünitenin Kuantum Kanal Kapasitesi dersine bakabilirsin.

Kaynaklar ve İleri Okuma

Lie group — Wikipedia — Tanım, temel örnekler (U(n), SU(n), SO(3)) ve üstel gösterim.

Lie algebra — Wikipedia — Komütatör, yapı sabitleri ve Jacobi özdeşliği dâhil aksiyomlar.

Pauli matrices — Wikipedia — Komütatör/antikomütatör kuralları ve su(2) ile ilişkisi.

IBM Quantum Learning — Kapı cebirini uygulamalı gösteren ücretsiz ders materyali.