Bell ve CHSH — kuantum mekaniğinin klasik fizikten ayrıldığı çizgi

Bell eşitsizliklerinin doğuşu, kuantum mekaniğinin temellerine yöneltilen otuz yıllık bir felsefi itirazın matematiksel cevabıdır. 1935'te Einstein, Podolsky ve Rosen (EPR), kuantum mekaniğinin eksik olduğunu — yani gözlenen istatistiklerin altında, kuantum kuramının görmediği gerçek fiziksel büyüklüklerin yattığını — savunan bir düşünce deneyi yayımladı. Bu “gizli değişkenler” programı uzun süre felsefi bir tartışma olarak kaldı; ta ki John Bell 1964'te bu varsayımın deneysel olarak yanlışlanabilir matematiksel bir biçimi olduğunu gösterene kadar.

EPR'nin iki temel ilkesi

EPR makalesinin altında iki sezgisel ilke vardır. Birincisi lokallik: uzak iki olay, aralarındaki uzaklık kadar bir ışık-sinyal süresi geçmedikçe birbirini doğrudan etkileyemez. İkincisi gerçekçilik: bir fiziksel büyüklüğün değeri, ölçülmeden önce de tanımlıdır; ölçüm yalnızca bu değeri ortaya çıkarır. Bu iki ilke birlikte, dolanık bir çiftin uzak iki ucundaki ölçüm sonuçlarının, aslında başlangıçta belirlenmiş ortak bir program (λ) tarafından üretildiği görüşünü besler. Bu görüş bugünkü adıyla yerel gerçekçiliktir ve gizli değişken modellerinin felsefi zeminini oluşturur.

Bohr cevabı ve sonrasındaki sessizlik

EPR makalesine Niels Bohr aynı yıl içinde bir cevap yayımladı; cevap, kuantum mekaniğinin “elementlerini” farklı tanımlamak gerektiğini söyleyen felsefi bir karşı çıkıştı. Yeterli matematiksel sertlikte bir kanıt henüz mümkün değildi; tartışma 1950'lere kadar büyük ölçüde felsefi düzlemde sürdü. Bohm 1952'de saklı değişkenli alternatif bir formülasyon (Bohmian mekaniği) önerdi; bu, “teknik olarak mümkün” bir gizli değişken modeli olduğunu göstermesi açısından önemliydi ama lokallik ilkesini açıkça ihlal ediyordu.

Bell'in 1964 makalesi: dönüş noktası

John Bell 1964'te yayımladığı kısa ama keskin makalesinde, herhangi bir yerel gizli değişken modelinin kaçınılmaz olarak uyacağı bir eşitsizlik türetti. Bu eşitsizlik, kuantum mekaniğinin Bell-durumu için verdiği ölçüm istatistikleri tarafından ihlal edilir. Bell'in elde ettiği sonucun gücü, ilk kez bir felsefi tartışmayı deneysel olarak ayrıştırılabilir matematiksel bir soruya dönüştürmüş olmasıdır. 1969'da CHSH, bu eşitsizliği iki kübit / iki ölçüm ayarı durumu için en pratik biçime kavuşturdu ve laboratuvarda doğrudan ölçülebilen bir test formu hâline getirdi.

Bell eşitsizliklerini türetebilmek için, “klasik” açıklamanın matematiksel biçimini net olarak yazmamız gerekir. Bu biçim Local Hidden Variable (LHV) modelidir. Modelin felsefi temeli EPR'nin lokallik ve gerçekçilik ilkeleridir; matematiksel ifadesi ise ölçüm sonuçlarının ortak bir saklı değişkenden ürediği varsayımıdır.

Senaryo: Alice, Bob ve ortak kaynak

Tipik Bell senaryosunda iki uzak gözlemci vardır: Alice ve Bob. Bir ortak kaynak her atışta bir parçacık çiftini her birine birer tane yollar. Alice iki olası ölçüm ayarı arasından birini seçer (a ya da a'); Bob da iki olası ayar arasından birini seçer (b ya da b'). Her ölçüm sonucu yalnızca iki değer alır: +1 ya da −1. Deney pek çok kez tekrarlanır; sonunda dört ortak korelasyon büyüklüğü ölçülür: E(a, b), E(a, b'), E(a', b), E(a', b').

LHV modeli: matematiksel yazımı

LHV varsayımı şudur: her atışta üretilen çift, ortak bir saklı değişken λ taşır. Bu değişken, ölçüm ayarları seçilmeden önce belirlenmiştir ve bir ρ(λ) olasılık dağılımına göre çekilir. Alice'in sonucu yalnızca kendi ayarına ve ortak λ'ya bağlıdır; Bob'unki de yalnızca kendi ayarına ve ortak λ'ya bağlıdır. Yani:

A(a, λ), B(b, λ) ∈ {−1, +1}; E(a, b) = ∫ A(a, λ) B(b, λ) ρ(λ) dλ.

Bu yazımın iki yapısal özelliği vardır. Birincisi, Alice'in sonucu Bob'un seçimine doğrudan bağımlı değildir (lokallik). İkincisi, ölçüm sonucu λ biliniyorsa ayarın bir fonksiyonu olarak belirlenmiştir; rastgelelik yalnızca λ'nın dağılımından gelir (gerçekçilik). Bu iki şart birlikte yerel gerçekçiliğin matematiksel ifadesidir.

Modelin esnekliği

LHV modeli oldukça esnektir: λ tek bir sayı, bir vektör, bir fonksiyon, hatta bütün bir parametre uzayı olabilir. Ölçüm sonuçlarının ±1 ile sınırlanması da temel bir kısıt değildir (sürekli sonuçlar için normalleştirilmiş genelleştirmeler vardır). Bu yüzden bir Bell eşitsizliğinin ihlali, yalnızca bir tek LHV modelini değil, bütün LHV model sınıfını aynı anda dışlar. Bu, Bell teoreminin gücüdür.

Lokallik, gerçekçilik ve özgür seçim

Bell teoreminin nesi ihlal edildiğinde ne reddedilmiş olur? Modern anlayışta yerel gerçekçiliğin ihlali şu üç varsayımdan en az birinin doğa tarafından reddedildiğini söyler: (i) lokallik (uzak olayların doğrudan etkileşmemesi); (ii) gerçekçilik (ölçülmeden önce belirli değerlerin varlığı); (iii) özgür seçim (Alice ve Bob'un ölçüm ayarlarını λ'dan bağımsız seçebilmesi). Çoğu fizikçi, modern verilerle ilkinin ya da ikincisinin reddedilmiş olduğunu kabul eder; üçüncü varsayım (“süper-determinizm”) felsefi olarak hâlâ tartışılmaktadır ama deneysel olarak çürütülmesi zordur.

Bell'in özgün eşitsizliği belirli bir senaryo için yazılmıştı; Clauser, Horne, Shimony ve Holt 1969'da bunu deneysel olarak çok daha ulaşılabilir bir forma kavuşturdu. CHSH eşitsizliği, iki uzak gözlemci ve her birinin iki olası ölçüm ayarı için, yerel gerçekçi modellerin uyması gereken sayısal bir sınır verir. Bu sınırın çıkarımı, sezgisel olarak son derece basittir.

CHSH miktarının tanımı

Bir önceki bölümdeki dört korelasyon büyüklüğünden, CHSH miktarı şöyle yazılır:

S = E(a, b) + E(a, b') + E(a', b) − E(a', b').

Bu miktarın işaret düzeni rastgele değildir; aşağıdaki türetim sırasında nedeni doğal olarak çıkacak. CHSH miktarı, dört bağımsız korelasyon ölçümüyle elde edilebilir bir tek sayıdır ve laboratuvarda kolayca raporlanır.

Üç satırlık türetim

LHV modelinde her sonuç A(a, λ), A(a', λ), B(b, λ), B(b', λ) şeklinde ±1 değerli sayılardır. Belirli bir λ için şu cebirsel ifadeyi düşünelim:

A(a, λ) [B(b, λ) + B(b', λ)] + A(a', λ) [B(b, λ) − B(b', λ)].

Burada B(b, λ) ve B(b', λ) ya aynı işaretlidir ya da zıt işaretlidir. İlk durumda parantezlerden biri ±2, diğeri 0 olur; ikinci durumda tam tersi olur. Her iki durumda da ifadenin değeri ±2'dir. λ üzerinden ortalama alındığında, ortalamanın mutlak değeri 2'yi geçmez. Tanımı açtığımızda sol taraf tam olarak CHSH miktarına dönüşür ve sonuç şöyle olur:

|S_LHV| ≤ 2.

Bu, CHSH eşitsizliğinin tam kanıtıdır. Türetim hiçbir kuantum mekaniği varsayımı kullanmaz; yalnızca lokallik, gerçekçilik ve ±1 değerli ölçüm sonuçları kullanır. Bu yüzden eşitsizlik her LHV modeli için geçerlidir; ihlal edildiğinde reddedilen şey kuantum mekaniği değil, yerel gerçekçiliktir.

Klasik korelasyonun cebirsel doluluğu

Cebirsel olarak S'nin alabileceği en büyük değer ±4'tür; çünkü dört terim her biri en fazla ±1 değerini alır. LHV modeli bunu 2'ye sıkıştırır. Geriye kalan 2 < |S| ≤ 4 aralığı, klasik olmayan korelasyonlar için ayrılmış aralıktır. Kuantum mekaniğinin bu aralığa ne kadar sızabildiği bir sonraki bölümün konusudur.

CHSH eşitsizliğini ihlal eden ilk teorik nesne, bir Bell durumu ve uygun seçilmiş ölçüm açılarıdır. Kuantum mekaniğinin Born kuralı, bu durum için S = 2√2 tahmin eder; bu değer CHSH sınırını yaklaşık 41% aşar. Bu noktada doğal bir soru gelir: kuantum mekaniği |S|'yi daha da büyütebilir mi? Cevap hayırdır; Boris Tsirelson 1980'lerin başında, kuantum mekaniğinin teorik üst sınırının da 2√2 olduğunu kanıtladı.

Bell durumu için ölçüm açıları

Maksimal dolanık Bell durumu (örneğin singlet) için CHSH ihlalini elde etmek üzere Alice σ_z ve σ_x eksenleri arasından seçim yapar; Bob ise bu iki eksenin ±45° döndürülmüş karışımlarını seçer. Born kuralı ile her bir korelasyon E(a, b) = −cos(θ_ab) şeklinde çıkar (θ_ab iki eksen arasındaki açı). Uygun açı seçimiyle dört korelasyon birlikte S = 2√2 değerini verir; bu değer Bloch küresi üzerinde geometrik olarak da yorumlanabilir.

Tsirelson sınırı: kuantum üst sınırı

Bir kuantum sistemde Alice'in dört ölçümü A, A', Bob'unkiler B, B' Hermitik operatörlerdir ve her biri ±1 öz değerlerine sahiptir; dolayısıyla karekareleri kimliktir. CHSH operatörünü C = A ⊗ B + A ⊗ B' + A' ⊗ B − A' ⊗ B' şeklinde yazıp C²'yi açtığımızda, sonuç şöyle olur:

C² = 4 I − [A, A'] ⊗ [B, B'].

Her komütatörün operatör normu 2 ile sınırlıdır (çünkü her A, A', B, B' kendi öz uzaylarında ±1 öz değerleri taşır). Bu yüzden ||C²|| ≤ 4 + 4 = 8 ve dolayısıyla ||C|| ≤ √8 = 2√2 sonucuna varılır. Bu sonucun adı Tsirelson sınırıdır.

Sınırın felsefi anlamı

Tsirelson sınırı, kuantum mekaniğinin LHV'den fazla ama mantıken mümkün olanın tamamından az korelasyon ürettiğini söyler. Cebirsel maksimum 4 olabilirdi; fakat kuantum mekaniğinin Hilbert uzayı + Born kuralı yapısı bu sınırı 2√2'ye çeker. Bunun ötesindeki korelasyonlara izin veren teorik “Popescu–Rohrlich kutuları” da matematiksel olarak tutarlıdır; fakat doğa böyle korelasyonlar üretmez. Bu, kuantum kuramının “neden tam bu kadar sapkın olduğunu” soran modern bir araştırma sorusuna kapı açar (information causality, no-signalling sınırları gibi).

CHSH sınırlarının özet karşılaştırması

Yerel gerçekçi sınır, kuantum üst sınırı, cebirsel maksimum: aynı miktarın üç farklı tarihsel rakamı.

• LHV (klasik) sınırı: |S| ≤ 2. Yerel gizli değişkenli her senaryonun ulaşabildiği en büyük değer.
• Tsirelson sınırı: |S| ≤ 2√2 ≈ 2.828. Kuantum mekaniğinin Born kuralıyla ulaşabildiği en büyük değer.
• Cebirsel maksimum: |S| ≤ 4. Dört ±1 korelasyonun toplamı için matematiksel sınır; doğa tarafından kullanılmıyor.

Bell eşitsizliklerinin deneysel olarak ihlal edilmesi, kuantum mekaniğinin doğanın gerçek tanımı olduğunun en güçlü ampirik kanıtlarından biridir. Ama her iyi deney gibi Bell testleri de incelikli yan koşullar (loophole'lar) içerir. Tarihsel olarak, ilk deneylerden bugünkü “loophole-free” deneylere kadar süren kırk yıllık serüven, her bir yan koşulun kapatılması ve sonunda 2022 Nobel ödülüne uzanan bir gelişme çizgisidir.

Erken deneyler: Freedman–Clauser ve Aspect

1972'de Freedman ve Clauser, kalsiyum kaskadı kullanan ilk Bell testini gerçekleştirdi ve CHSH eşitsizliğinin istatistiksel olarak ihlal edildiğini bildirdi. Onu 1981–82'de Alain Aspect ve ekibinin Paris'te yaptığı klasik deneyler izledi; bu deneylerde ölçüm ayarları foton uçuş süresince hızlıca değiştirildi, böylece “lokallik loophole'u” büyük ölçüde kapatıldı. Aspect deneyleri uzun yıllar Bell ihlalinin altın referans noktası olarak kabul edildi.

Loophole'lar: hangi varsayım nerde sızar?

Bell testleri üç temel loophole türüne karşı korunmak zorundadır. (i) Lokallik loophole'u: Alice ile Bob'un ölçüm seçimleri ve sonuçları birbirine yeterince uzak yapılmıyorsa, gizli bir iletişim açıklayıcı olabilir. (ii) Algılama (detection) loophole'u: dedektörler düşük verimle çalışıyorsa, “kayıp” deneyleri farklı doldurarak bir klasik model CHSH ihlalini taklit edebilir. (iii) Özgür seçim (freedom-of-choice) loophole'u: ölçüm ayarlarını seçen mekanizma kaynaktan tamamen bağımsız değilse, süper-determinist bir açıklama oluşabilir. Üç loophole'u aynı deneyde aynı anda kapatmak, on yıllar boyunca açık bir mühendislik problemi oldu.

Loophole-free deneyler ve 2022 Nobel

2015 yılında üç bağımsız grup, üç loophole'u da aynı deneyde önemli ölçüde kapattıkları “loophole-free” Bell testlerini bildirdi: Delft (Hensen ve ark., NV-merkezleri), NIST (Shalm ve ark., foton çiftleri) ve Viyana (Giustina ve ark., foton çiftleri). Bu deneyler CHSH eşitsizliğini önemli istatistiksel anlamlılıkla ihlal etti ve klasik yerel açıklamalar için olasılığı pratikte ortadan kaldırdı. 2022 Nobel Fizik Ödülü Alain Aspect, John Clauser ve Anton Zeilinger'e bu çalışma çizgisinin tamamına verildi.

Deneysel tarihçe — referans tablosu

Aşağıdaki tablo, Bell deneylerinin tarihçesinde dönüm noktası olan çalışmaları, kapatılan ya da açık kalan loophole'larıyla birlikte özetler. Bu tablo, kuantum mekaniğinin deneysel temellerinin neden bu kadar sağlam olduğunu tek bir sayfada gözden geçirmek için tasarlandı.

Bell eşitsizlikleri sadece bir felsefi soruya cevap değildir; kuantum bilgi teknolojisinin pratik araçlarının da matematiksel kaynağıdır. CHSH ihlali, “kuantum görüntü görünüyor” cümlesinin ölçülebilir bir niceliği olarak, sertifikalı rastgelelik üretiminden cihazdan bağımsız güvenliğe kadar pek çok uygulamada doğrudan kullanılır.

DI-QKD: cihazdan bağımsız kuantum anahtar dağıtımı

Belirsizlik ve uyumluluk sayfasında, BB84 protokolünün entropik belirsizlik ilkesine dayanan güvenlik kanıtını gördük. Device-Independent QKD (DI-QKD), bunun ötesine geçer: protokol, kullanılan cihazların kuantum mekaniği uyduğunu varsaymaz; yalnızca cihazların CHSH ihlali ürettiğini doğrular. Eğer cihazlar Tsirelson sınırına yakın bir S üretiyorsa, cihazlarına güvenmek zorunda kalmadan bir saldırganın bilebileceği bilgiye matematiksel bir üst sınır konulabilir. DI-QKD bu yüzden en üst güven seviyeli kuantum güvenlik şemasıdır; pratik uygulamalar hâlâ aktif araştırma alanıdır.

Sertifikalı rastgelelik genişletmesi

Bir başka önemli uygulama certified random number generation'dır. Bell testi ihlali, ölçüm sonuçlarının önceden belirlenmiş olamayacağını matematiksel olarak garanti ettiği için, az miktarda başlangıç rastgeleliğinden büyük miktarda cihazdan bağımsız rastgelelik üretmek mümkündür. Bu protokol özellikle yüksek güven gerektiren kripto uygulamalarında, klasik PRNG'lere alternatif olarak ortaya çıkmaktadır.

Donanım sınama olarak Bell testi

Soğutma ve kalibrasyon sayfasında konuştuğumuz kalibrasyon protokollerine ek olarak, iki kübitin gerçekten dolanmış olduğunu doğrulamanın en sıkı yollarından biri CHSH ölçümüdür. S > 2 sonucu, ortak durumun bir ürün durumu olmadığını ve gerçek bir dolanıklık tanıklığı olduğunu ortaya koyar. Modern süperiletken ve iyon tuzaklı donanımlarda Bell ihlali, “tam fonksiyonlu iki kübit” sertifikasyonunun bir parçası olarak rutin biçimde ölçülmektedir.

Bell ihlali bir kaynak mıdır?

Çağdaş kuantum bilgi teorisi, Bell ihlalini soyut bir kaynak olarak da inceler: ne kadar büyük ihlal, o kadar fazla cihazdan bağımsız bilgi-teknik avantaj. Bu görüş, dolanıklığın “miktarını” saymanın farklı bir yoludur; özellikle DI-QKD, randomness expansion ve oyun tabanlı tanıklıklar (örneğin pseudo-telepathy oyunları) için doğal bir ölçüdür. Aynı zamanda kuantum mekaniğinin neden tam 2√2'de durduğunu (Information Causality ilkesi gibi açıklamalar) araştıran çağdaş çalışmaların kapısını açar.