Lineer Bağımlılık
Kübitin durumunu taşıyan uzay bir vektör uzayıdır ve bu uzayın en kritik kavramı lineer bağımlılıktır: hangi durumların yeni bir yön taşıdığını, hangilerinin diğerlerinden türetilebildiğini bu kavram söyler. Bu derste tanımı sıfırdan kuracak, adım adım bir bağımsızlık testi yapacak ve kuantum hesaplamadaki vazgeçilmez yerini göreceğiz. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; vektör kavramını henüz görmediysen önce Vektörler dersine dönmekte fayda var.
Lineer Kombinasyon: Bağımlılığın Dili
Vektörleri sayılarla birleştirmenin en genel yolu lineer kombinasyondur: v₁, v₂, …, vₖ vektörlerini a₁v₁ + a₂v₂ + … + aₖvₖ biçiminde katsayılarla çarpıp toplamak. Kuantumda genlikler karmaşık sayı olduğu için (Karmaşık Sayılar) bu katsayılar karmaşık sayılardır. Dirac Bra-ket Notasyonu dersindeki |ψ⟩ = α|0⟩ + β|1⟩ yazımı aslında sıradan bir lineer kombinasyondur: |0⟩ ve |1⟩ vektörlerinin α ve β katsayılarıyla birleşimi.
Peki aynı durumu farklı katsayılarla da yazabilir miyiz? Cevap, kümenin bağımlı olup olmamasına bağlıdır; lineer bağımlılık tam olarak bunu ölçen kavramdır.
Lineer Bağımlılık ve Bağımsızlık Nedir?
Bir v₁, …, vₖ kümesi için a₁v₁ + a₂v₂ + … + aₖvₖ = 0 eşitliğini sağlayan katsayılar yalnızca a₁ = a₂ = … = aₖ = 0 ise küme lineer bağımsızdır. Eşitliği en az biri sıfırdan farklı katsayılarla da sağlayabiliyorsak küme lineer bağımlıdır. Başka bir deyişle: bağımlı kümede bir üye diğerlerinin kombinasyonudur; bağımsız kümede hiçbir üye diğerlerinden üretilmez.
İki vektörde durum nettir: biri diğerinin katıysa bağımlıdırlar; { |0⟩, 3|0⟩ } bağımlı, { |0⟩, |1⟩ } bağımsızdır. Üç ve daha fazla vektörde ise göz kararı yanıltır; karşılaştırma şöyle:
- Bağımlı küme: fazlalık taşır; bir vektör atılıp küme uzay kaybı olmadan küçültülebilir.
- Bağımsız küme: her üye yeni bir yön taşır; katsayılar tek türlüdür, hiçbir vektör çıkarılamaz.
- Özel durum: sıfır vektörünü içeren her küme otomatik bağımlıdır; çünkü 1·0 = 0, sıfırdan farklı katsayılı geçerli bir çözümdür.
Bağımlılık Testi: Adım Adım Bir Hesap
Genel yöntem şudur: vektörleri bir matrisin sütunlarına diz (Matrisler) ve Ax = 0 denklemini çöz; sıfırdan farklı bir çözüm varsa sütunlar bağımlıdır. v₁ = (1, 0, 1), v₂ = (0, 1, 1), v₃ = (1, 1, 2) kümesini test edelim:
- Katsayılarla aç: a·(1, 0, 1) + b·(0, 1, 1) + c·(1, 1, 2) = (0, 0, 0).
- Bileşenleri eşitle: a + c = 0, b + c = 0, a + b + 2c = 0.
- İlk iki denklemden a = −c ve b = −c çıkar.
- Üçüncüye koy: −c − c + 2c = 0; bu eşitlik c'nin her değeri için sağlanır.
- c = 1 seç: (a, b, c) = (−1, −1, 1) sıfırdan farklı bir çözümdür → küme bağımlıdır.
- Sağlama: −v₁ − v₂ + v₃ = 0, yani v₃ = v₁ + v₂.
Kısayol determinanttır: bu üç vektörü sütun yapan 3×3 matrisin determinantı 0 çıkar; det = 0, sütunların bağımlı olduğunun karşılığıdır (bkz. Determinant). İki uyarı: determinant yalnızca kare matriste tanımlıdır; vektör sayısı boyutu aşarsa (2 boyutta 3 vektör gibi) küme her hâlükârda bağımlıdır.
Kübit Uzayında Bağımlılık: Span ve Baz
Bir kümenin tüm lineer kombinasyonları o kümenin span'ını, yani gerdiği uzayı oluşturur. Hem bağımsız hem de uzayın tamamını geren kümeye baz denir; bazdaki vektör sayısı uzayın boyutudur. Tek kübitin durum uzayı 2 boyutludur ve standart baz { |0⟩, |1⟩ }'dir; n kübitlik kayıt ise Tensor ve Kronecker Çarpımı yapısıyla 2ⁿ boyutlu bir uzaya açılır ve bu 2ⁿ temel durum birbirine bağımsızdır.
Kuantuma özgü bir örnek: { |0⟩, |1⟩, |+⟩ } kümesi. |+⟩ = (|0⟩ + |1⟩)/√2 tanımını düzenlersek (1/√2)|0⟩ + (1/√2)|1⟩ − |+⟩ = 0 elde ederiz: sıfırdan farklı katsayılarla sıfır. Genel sebep de bellidir: 2 boyutlu uzayda üç vektör her zaman bağımlıdır. |+⟩'yu çıkarırsan geriye bağımsız { |0⟩, |1⟩ } kalır. Nüans: |+⟩ tek başına geçerli bir kübit durumudur; bağımlılık vektörlerin değil kümenin özelliğidir.
Pratikte yol şudur: bağımlı kümeden fazlalıkları atarak bağımsız bir çekirdeğe in; sonra bu çekirdeği normlanmış ve birbirine dik hâle getir. Dikliğin ölçüsü İç Çarpım'dır; düzenli yöntemi Ortonormal Bazlar dersinde işleyeceğiz — kuantum hesaplamanın fiilî sahnesi orada kurulur.
Kuantum Hesaplamada Neden Kritik?
Açılımın tekliği: |ψ⟩ = α|0⟩ + β|1⟩ yazımındaki genlikler ancak baz bağımsızken tek türlüdür; ölçüm olasılıkları |α|² ve |β|² bu teklilik üzerine kurulur. Aynı durumu iki farklı (α, β) çiftiyle yazabiliyorsan olasılık kavramı çöker.
Kapılar: kuantum kapılarının matrisleri üniteryendir; satır ve sütunları ortonormal, dolayısıyla bağımsızdır (bkz. Üniteryen Matrisler). Satırları bağımlı, yani tersinmez bir matris bilgiyi kaybeder ve kuantum kapısı olamaz.
Özuzaylar: aynı özdeğere düşen bağımsız özvektörler, o özdeğerin özuzayını oluşturur (bkz. Özdeğer ve Özvektör); bu boyut ölçüm olasılıklarını doğrudan etkiler.
Sık Yapılan Hatalar ve Yanılgılar
- Sıfır vektörünü gözden kaçırmak: kümede sıfır vektörü varsa test yapmadan bağımlıdır demek yeterlidir.
- Kat testini üç vektöre taşımak: hiçbiri diğerinin katı değil demek yetmez; (1, 0), (0, 1), (1, 1) hiçbiri diğerinin katı değil ama (1, 1) = (1, 0) + (0, 1) olduğundan küme bağımlıdır.
- Bağımlılığı vektörün suçu sanmak: |+⟩, |0⟩ ve |1⟩ ile birlikte bağımlıdır ama kendi başına geçerli bir kuantum durumudur.
- Aynı yöndeki vektörleri farklı durum sanmak: |ψ⟩ ile 2|ψ⟩ fiziksel olarak aynı durumdur ve aynı kümede bağımlılık yaratır; kuantumda durumlar bu yüzden daima birim normla yazılır.
- Normalizasyonu bağımsızlıkla karıştırmak: |α|² + |β|² = 1 tek bir vektörün uzunluk koşuludur; bağımsızlık kümelere ait bir özelliktir. Tek vektörlü {ψ} kümesi ψ ≠ 0 ise daima bağımsızdır.
Özetle lineer bağımlılık, bir durum uzayının kaç gerçek serbestlik derecesi taşıdığını söyler: |0⟩ ve |1⟩ bağımsız olduğu için her kübit durumu tek türlü açılır, n kübit 2ⁿ bağımsız temel durum taşır ve kapı matrislerinin satır-sütunları bağımsız olduğu için bilgi kayıpsız akar.
Sık Sorulan Sorular
Lineer bağımlılık nedir?
Bir vektör kümesinin en az bir üyesinin, diğerlerinin lineer kombinasyonu olarak yazılabilmesi hâlidir. Biçimsel olarak a₁v₁ + … + aₖvₖ = 0 eşitliği hepsi sıfır olmayan katsayılarla sağlanabiliyorsa küme bağımlıdır; yalnızca sıfır çözümü varsa bağımsızdır.
Lineer bağımlılık ile bağımsızlık arasındaki fark nedir?
Bağımlı kümede fazlalık vardır: bir vektör diğerlerinden üretilir ve atılabilir; katsayılar tek türlü değildir. Bağımsız kümede her vektör yeni bir yön taşır ve katsayılar tektir. { |0⟩, |1⟩ } bağımsızdır; buna |+⟩ = (|0⟩ + |1⟩)/√2 durumunu eklersen küme bağımlı hâle gelir.
Kuantum hesaplamada lineer bağımsızlık ne işe yarar?
Kübit durumlarının genliklerini tek türlü kılar; ölçüm olasılıkları bunun üzerine kurulur. Üniteryen kapı matrislerinin satır ve sütunları da ortonormal, yani bağımsız olmak zorundadır; bağımlı satırlı, tersinmez bir matris kuantum kapısı olamaz.
Bağımlılık testinde determinant her zaman işe yarar mı?
Hayır; determinant yalnızca kare matrislerde tanımlıdır. Vektör sayısı boyuta eşitse sütunları matrise dizip det = 0 testini kullanırsın; sayı boyutu aşarsa küme zaten bağımlıdır, aksi hâlde Ax = 0 satır indirgemeyle çözülür.
Kaynaklar ve İleri Okuma
Doğrusal bağımsızlık — Vikipedi — bağımsızlık ile boyut kavramı arasındaki ilişkinin Türkçe kısa özeti.
Linear independence — Wikipedia — tanımlar, testler ve geometrik yorum içeren kapsamlı madde.
Basics of Quantum Information — IBM Quantum Learning — kuantum sistemlerin vektör uzayı gösterimini temel alan IBM'in giriş kursu.
MIT OpenCourseWare: 18.06 Linear Algebra — Gilbert Strang'ın bağımsızlık, span ve baz dersleri; ücretsiz arşiv.