Kuantum Hesaplama Modelleri
Kuantum hesaplama, klasik bitlerin yerini süperpoze edilebilen ve dolanık hale getirilebilen kuantum durumlarıyla değiştirmektedir. Bu durum, kuantum devresi ve BQP karmaşıklık sınıfı gibi modelleri tanımlamakta olup, bu modellerin bazı problemleri herhangi bir klasik yöntemden daha hızlı çözebildiği görülmektedir.
Tanım
Bir kuantum hesaplama modeli, durumları karmaşık bir uzayda birim vektörler olan kübitlerde depolanan bilgiyi işlemektedir; hesaplama, süperpozisyon ve dolanıklık oluşturmak için tersinir kuantum geçitleri uygulamakta ve son bir ölçüm, kuantum durumu tarafından belirlenen olasılıklarla klasik bir sonuç vermektedir.
Kapsam
Bu konu, kübitleri ve kuantum geçitlerini, kuantum devre modelini ve kuantum Turing makinesi ile eşdeğerliğini, verimli kuantum hesaplamanın BQP karmaşıklık sınıfını ve klasik sınıflarla ilişkisini, Shor'un çarpanlara ayırma ve Grover'ın arama algoritmaları gibi temel algoritmaları ve modelin tanımlanmasında ölçüm ve dekoheransın rolünü kapsamaktadır.
Temel sorular
- Süperpozisyon ve dolanıklık, bir hesaplamanın yapabileceklerini nasıl değiştirmektedir?
- Verimli kuantum sınıfı BQP ile klasik sınıflar arasındaki ilişki nedir?
- Kuantum algoritmaları hangi problemler için kanıtlanabilir veya belirgin bir hızlanma sunmaktadır?
- Ölçüm ve kopyalanamazlık ilkesi kuantum hesaplamayı nasıl kısıtlamaktadır?
Temel kuramlar
- Kuantum devre modeli ve BQP
- Verimli kuantum hesaplama, evrensel bir geçit kümesi üzerindeki polinom boyutlu kuantum devreleri tarafından yakalanmakta olup, P'yi içeren ve PSPACE içinde kalırken onu genişlettiği düşünülen BQP sınıfını tanımlamaktadır.
- Kuantum hızlanmaları
- Shor'un algoritması tam sayıları polinom zamanda çarpanlara ayırmakta ve Grover'ın algoritması yapılandırılmamış bir uzayı karesel bir hızlanma ile aramakta, böylece kuantum modelinin belirli görevler için somut avantajlarını göstermektedir.
Klinik önem
Kuantum modelleri, kuantum donanım ve algoritmalarının tasarımına rehberlik etmektedir; Shor'un çarpanlara ayırma algoritması, güvenliği çarpanlara ayırmanın zorluğuna dayanan açık anahtarlı kriptosistemleri tehdit etmekte, bu da kuantum sonrası kriptografinin geliştirilmesini teşvik etmektedir. Kuantum simülasyonu ise kimya ve malzeme biliminde ilerlemeler vaat etmektedir.
Tarihçe
Feynman, 1982'de fiziği simüle etmek için kuantum sistemlerini kullanmayı önermiş, Deutsch ise 1985'te kuantum Turing makinesini resmileştirmiştir. Shor'un 1994'teki çarpanlara ayırma algoritması ve Grover'ın 1996'daki arama algoritması somut hızlanmalar göstermiş, kuantum hesaplamayı karmaşıklık teorisinin önemli bir dalı ve deneysel çabaların itici gücü haline getirmiştir.
Tartışmalar
- Kuantum avantajı ne kadar büyüktür ve ölçekli olarak fiziksel olarak gerçekleştirilebilir mi?
- Kuantum bilgisayarlar klasik bilgisayarlarla aynı fonksiyonları hesaplamaktadır, bu nedenle soru verimliliktir. BQP ile klasik sınıflar arasındaki kesin ilişki çözülememiş olup, dekoheransa rağmen büyük hataya dayanıklı kuantum bilgisayarların inşa edilip edilemeyeceği açık bir bilimsel ve mühendislik sorusu olmaya devam etmektedir.
Öne çıkan isimler
- Richard Feynman
- David Deutsch
- Peter Shor
- Lov Grover
İlgili konular
Temel eserler
- nielsenChuang2010
- aroraBarak2009
Sıkça sorulan sorular
- Kuantum bilgisayarlar klasik bilgisayarların yapamadığı şeyleri hesaplayabilir mi?
- Hayır. Kuantum bilgisayarlar, klasik bilgisayarlarla tamamen aynı problem sınıfını çözmektedir; fark hızdır. Büyük sayıları çarpanlara ayırma gibi belirli problemler için kuantum modeli önemli ölçüde daha hızlı görünmektedir, ancak prensipte hesaplanabilir olanın sınırını genişletmemektedir.
- Kuantum hesaplama neden kriptografi için önemlidir?
- Shor'un algoritması, büyük bir kuantum bilgisayarın büyük tam sayıları çarpanlara ayırmasına ve ayrık logaritmaları verimli bir şekilde hesaplamasına olanak tanıyarak, günümüz iletişiminin çoğunu güvence altına alan açık anahtarlı sistemleri kıracaktır. Bu olasılık, kuantum makineleri için bile zor olduğu düşünülen problemlere dayalı kuantum sonrası şemaların araştırılmasını tetiklemiştir.