Temel Kuantum Fiziği ve Kuantum Teknolojilerine Giriş · 8. Ünite: Kuantum Donanımı ve Hata Düzeltme
Gürültülü Kuantum Bilgisayarlar (NISQ) ve Kuantum Üstünlüğü
Hata düzeltmeli bir kuantum bilgisayar milyonlarca fiziksel kubit isterken bugünkü cihazlar onlarca ile birkaç yüz arasında gürültülü kubite sahiptir. John Preskill 2018'de bu ara dönemi NISQ (Noisy Intermediate-Scale Quantum) diye adlandırdı ve asıl soruyu sordu: hata düzeltmesiz, sığ devrelerle çalışan bu makineler klasik bilgisayarların yapamayacağı bir şey yapabilir mi? Bu konuda devre sadakatini kapı sayısından tahmin etmeyi, rastgele devre örneklemesine dayanan kuantum üstünlüğü deneylerinin mantığını ve çapraz entropi kıyaslamasını (XEB) türetmeyi, klasik simülasyonun bellek ve zaman maliyetini hesaplamayı ve sıfır gürültü ekstrapolasyonu gibi hata azaltma yöntemlerinin hata düzeltmeden farkını öğreneceksin. Sonunda bir üstünlük iddiasını, hangi problemin, hangi sadakatle ve hangi klasik algoritmaya karşı çözüldüğünü sorarak eleştirel biçimde değerlendirebileceksin.
Öğrenme hedefleri
- NISQ terimini tanımlar ve hata düzeltmesiz bir cihazın derinlik–genişlik bütçesini $F \approx (1-\varepsilon_1)^{N_1}(1-\varepsilon_2)^{N_2}$ ile hesaplar.
- Rastgele devre örneklemesi görevini ve kuantum üstünlüğü kavramını açıklar; depolarize gürültü modelinde normalize XEB'nin devre sadakatine eşit olduğunu türetir ve gereken örnek sayısını tahmin eder.
- Durum vektörü simülasyonunun $16 \cdot 2^n$ bayt bellek maliyetini hesaplar, verilen bellekte simüle edilebilecek en büyük kubit sayısını bulur ve tensör ağı yöntemlerinin üstünlük iddialarını neden tartışmalı hâle getirdiğini açıklar.
- Sıfır gürültü ekstrapolasyonunda iki noktalı, en küçük kareler ve Richardson kestirimlerini türetir ve ölçülen değerlere uygular; olasılıksal hata iptalinin fikrini ve örnekleme maliyetini nitel olarak açıklar.
- Hata azaltma ile hata düzeltmeyi amaç, kaynak ve ölçeklenme açısından karşılaştırır ve varyasyonel algoritmaların neden NISQ cihazlarına uygun olduğunu savunur.
Konu anlatımı
Bağlam: Hata Düzeltmeden Önceki Dönem
Devre Sadakati Tahmini ve Derinlik Bütçesi
Kuantum Üstünlüğü ve Rastgele Devre Örneklemesi
Çapraz Entropi Kıyaslaması (XEB)
Klasik Simülasyonun Maliyeti ve Üstünlük Tartışması
Hata Azaltma: Sıfır Gürültü Ekstrapolasyonu ve Olasılıksal Hata İptali
Hata Azaltma ile Hata Düzeltmenin Farkı ve Varyasyonel Algoritmalar
Çözümlü Örnekler
Sık Yapılan Hatalar ve Kavram Yanılgıları
Anahtar terimler
- NISQ
- Noisy Intermediate-Scale Quantum: hata düzeltmesiz çalışan, onlarca ile birkaç yüz arasında gürültülü kubite sahip, devre derinliği gürültüyle sınırlı kuantum cihazları dönemi (Preskill, 2018).
- Kuantum üstünlüğü
- Programlanabilir bir kuantum cihazın, en iyi klasik bilgisayarların makul sürede yapamayacağı herhangi bir görevi yapması; yararlılık şartı içermez.
- Rastgele devre örneklemesi
- Rastgele tek ve iki kubit kapılarından oluşan bir devrenin çıktı dağılımından bit dizisi örnekleri üretme görevi; üstünlük deneylerinin temel görevi.
- Porter–Thomas dağılımı
- Derin rastgele devrelerin çıktı olasılıklarının dağılımı; D·p değişkeni yaklaşık ortalaması 1 olan üstel dağılıma uyar, bu da düzgün dağılımdan ayırt edilebilir bir yapı verir.
- Çapraz entropi kıyaslaması (XEB)
- Cihazdan alınan örneklerin ideal olasılıklarının ortalamasından F_XEB = D⟨p(x_i)⟩ − 1 ile sadakat tahmini; depolarize gürültüde devre sadakatine eşittir.
- Tensör ağı
- Kapıların tensör, kubit hatlarının ortak indis olduğu gösterim; genlikleri ağı daraltarak hesaplar ve maliyeti 2ⁿ yerine devrenin genişliği, derinliği ve dolanıklığıyla belirlenir.
- Hata azaltma
- Ek kubit ve gerçek zamanlı düzeltme olmadan, devreyi farklı biçimlerde çalıştırıp sonuçları klasik olarak birleştirerek beklenen değerlerin gürültüden gelen sapmasını küçültme yöntemleri.
- Sıfır gürültü ekstrapolasyonu (ZNE)
- Gürültüyü bilerek λ = 1, 2, 3… katına çıkarıp ölçülen beklenen değerleri λ = 0'a dışdeğerleme; iki noktalı 2E₁ − E₂, Richardson 3E₁ − 3E₂ + E₃.
- Olasılıksal hata iptali (PEC)
- Gürültü kanalının tersini uygulanabilir işlemlerin yarı olasılıklı birleşimi olarak yazıp örnekleyen yöntem; sapmayı kaldırır ama örnek maliyeti γ² ile, devre boyutuna göre üstel büyür.
- Varyasyonel kuantum algoritması
- Parametreli sığ bir kuantum devresinde ölçülen maliyeti klasik eniyileyiciyle en aza indiren hibrit döngü; VQE ve QAOA en bilinen örnekleridir.
Örnek soru
Preskill'in 2018'de önerdiği NISQ (Noisy Intermediate-Scale Quantum) terimi hangi cihaz sınıfını tanımlar?
- Yüzey koduyla korunan, binlerce mantıksal kubitli hataya dayanıklı bilgisayarları
- Yalnızca tek kubit kapısı uygulayabilen, dolanıklık üretemeyen deney düzeneklerini
- Kuantum etkilerini klasik donanımda taklit eden simülasyon yazılımlarını
- Hata düzeltmesiz çalışan, onlarca ile birkaç yüz gürültülü kubitli ve devre derinliği gürültüyle sınırlı cihazları
- Kubit sayısı 10'un altında olan ve tamamen klasik olarak simüle edilebilen işlemcileri
Doğru cevap: D
Çözüm
1. "Gürültülü": hata düzeltme yoktur; sadakat kapı sayısıyla üstel düşer ve derinliği sınırlar.
2. "Orta ölçek": yaklaşık 50 ile birkaç yüz kubit; durum vektörü klasik belleğe sığmamaya başlar.
3. Bu iki özellik birlikte hata düzeltmesiz, onlarca–yüzlerce kubitli cihazları tanımlar.
Hataya dayanıklı makineler NISQ sonrası hedeftir; 10 kubitin altındaki işlemciler ise "orta ölçek" sayılmaz, çünkü kolayca simüle edilir.
Temel Kuantum Fiziği ve Kuantum Teknolojilerine Giriş: tüm konular