Heisenberg: Gözlenebilirlerden Başla
1925'te Werner Heisenberg radikal bir metodolojik duruş aldı: doğrudan ölçülebilecek nicelikler — spektral çizgi frekansları ve şiddetleri — kullanarak bir teori inşa edecekti. Gözlenemeyecek elektron yörüngeleri hakkında spekülasyon yapılmayacaktı.
Spektral çizgiler çiftler halinde gelir: m enerji düzeyinden n düzeyine bir geçişte yayılan bir foton ν(m,n) frekansına sahiptir. Heisenberg bu frekansları iki boyutlu bir dizi — bir matris — olarak temsil etti. Bu dizilerin nasıl birleştiğini yöneten denklemler matris çarpımının kuralları olduğu ortaya çıktı.
Sonuç: matris mekaniği. Fiziksel gözlenebilirler matris olur. Durumlar vektör haline gelir. Hareket denklemi bir matris denklemidir. Hidrojen atomunun enerji seviyeleri Hamiltonian matrisinin özdeğerleri olarak ortaya çıkar.
Hamming'in çerçevesi: Heisenberg'in yaklaşımı bilimsel yöntem dersidir — bir kavram ölçülemezse, belki teoride yer almamalıdır.
Schrödinger: Dalgalardan Başla
Erwin Schrödinger tamamen farklı bir başlangıç noktasından yaklaştı. Louis de Broglie parçacıkların ilişkili bir dalga boyu λ = h/p (momentum p, Planck sabiti h) olduğunu önermiş olmuştu. Schrödinger sordu: elektronlar dalgalar ise, dalga denklemi nedir?
Schrödinger denklemini (zaman-bağımsız formu) buldu:
Ĥψ = Eψ
burada Ĥ Hamiltonian operatörüdür, ψ dalga fonksiyonudur ve E enerjisidir. Belirli enerji değerlerinde E bu denklemi sağlayan çözümler ψ durağan dalgalar oluşturur — elektron 'orbitalleri.'
Enerji seviyelerinin kuantizasyonu — ayrık spektral çizgiler — dalga fonksiyonundaki sınır koşullarından ortaya çıkar. Yalnızca her yerde sonlu ve sürekli kalan dalga fonksiyonları fizikseldir. Bu kısıtlamalar yalnızca belirli E değerlerine izin verir: özdeğerler.
Matematiksel Birleştirme
Paul Dirac (ve bağımsız olarak von Neumann) matris mekaniğinin ve dalga mekaniğinin aynı soyut matematiksel yapının temsilleri olduğunu gösterdi: Hilbert uzayı.
Bir Hilbert uzayı H, aynı zamanda tam olan (her Cauchy dizisi yakınsar) bir iç çarpım uzayıdır. Kuantum durumları H'deki birim vektörlerdir. Gözlenebilirler H üzerindeki Hermit operatörleridir — H'den H'ye doğrusal haritalar kendi eşleniklerine eşit olan.
Özdeğerler ve özdurumlar: eğer gözlenebilir Â, özdeğeri a olan |a⟩ özdurumuna sahipse:
Â|a⟩ = a|a⟩
|a⟩ özdurumunda olan bir sistem üzerinde gözlenebilir A'nın ölçümü her zaman kesinlikle a değerini döndürür.
Süperpozisyon: genel bir durum |ψ⟩, özdurumların doğrusal kombinasyonudur (süperpozisyon):
|ψ⟩ = Σᵢ cᵢ|aᵢ⟩
burada cᵢ, Σᵢ |cᵢ|² = 1'i sağlayan karmaşık genlikleridir (normalizasyon).
Born Kuralı
Max Born olasılıksal yorumu önerdi: gözlenebilir A, |ψ⟩ = Σᵢ cᵢ|aᵢ⟩ durumundaki bir sistem üzerinde ölçüldüğünde, aᵢ özdeğerini elde etme olasılığı genliğinin karesinin modülüne eşittir:
P(aᵢ) = |cᵢ|² = |⟨aᵢ|ψ⟩|²
Ölçümden sonra, durum karşılık gelen özduruma |aᵢ⟩ çöker. A'nın sonraki ölçümleri sistem tekrar gelişene kadar kesinlikle aᵢ döndürür.
Hesaplama tabanında bir kubit durumu: |ψ⟩ = α|0⟩ + β|1⟩, |α|² + |β|² = 1 ile.
Matematiksel Danışman Olarak Hamming
Hamming, fizikçilerle çalışırken rolünü tanımladı: kullanılacak matematiksel fonksiyonların sınıfını fizikçiye neyin uygun olduğunu sorarak bulacak, ardından matematiksel sorunu inançlarına uyarlayacaktı.
> Genellikle kullanılacak fonksiyon sınıfını sorunu olan kişiye sorarak bulurdum, sonra onların uygun olduğunu hissettikleri gerçekleri kullanırım — tüm umutla bunun sayesinde, bir gün, onların tarafında önemli bir içgörü ortaya çıkaracağım.
Bu kasıtlı bir pedagojik stratejiydi. Hamming matematiksel bir çerçeve empoze etmedi — fizikçinin sezgilerini ortaya çıkardı ve formalize etti. Amaç: içgörü fizikçi tarafından ortaya konur, Hamming tarafından değil.
Daha derin ders: kuantum mekaniği felsefi olarak tatmin edici değildir (dalga fonksiyonu çöküşü ne anlama gelir? kuantum durumu gerçekte nedir?) ama hesaplama açısından başarılıdır. Davran-sanki ilkesi: formalizmyi gerçek olarak ele al — durum vektörleri, operatörler ve özdeğerlerin dünyanın gerçek özellikleri oldukları gibi kullan — doğru tahminler verdiği zaman, ne anlama geldiğini açıklayıp açıklayamayacağından bağımsız olarak.
Davran-Sanki Ne Zaman Haklıdır
Davran-sanki ilkesi entelektüel tembellik değildir. Belirli bir epistemik seçimdir: iki farklı düşünce birbirinden ayrıldığında hesaplama güvenilirliğini metafizik açıklığa tercih et.
KM en net örneği sağlar: Born kuralı deneysel olarak olağanüstü bir kesinlikle doğrulanmıştır. Born kuralının neden geçerli olduğunun felsefi sorusu veya 'dalga fonksiyonu çöküşünün' fiziksel olarak neye karşılık geldiği gerçekten çözülmemiş kalır. Hamming'in reçetesi: Born kuralını kullan, çöküş olur gibi davran, teknolojiyi inşa et, tahminleri yap.