Kuantum lambda taşı


35

Klasik olarak, hesaplama hakkında düşünmenin 3 popüler yolu vardır: Turing makinesi, devreler ve lambda-calculus (Bunu, en işlevsel görünümler için bir seçenek olarak kullanıyorum). Her 3 farklı tip problemler hakkında düşünmenin verimli yolları olmuştur ve bu nedenle farklı alanlar farklı formülasyonlar kullanmaktadır.

Ancak kuantum hesaplama ile çalışırken, sadece devre modelini düşünüyorum. Asıl olarak, QC kuantum Turing makineleri olarak tanımlandı, ancak anladığım kadarıyla, bu tanım (her ikisi de dikkatli bir şekilde formüle edildiğinde kuantum devrelerine eşdeğer olsa da) yaklaşık olarak verimli değildi. 3. formülasyon (lambda-calculus veya benzeri fonksiyonel ayarlar açısından) Ben tamamen aşina değilim. Dolayısıyla benim sorularım:

  • Kuantum lambda-hesabının (veya diğer işlevsel paradigmaların) faydalı tanımları nelerdir?

  • Hangi QIP alt alanları devre formülasyonu yerine bu formülasyonu kullanma konusunda daha derin bir fikir edinir?


notlar

Hücresel otomatlar, RAM modelleri vb. Gibi diğer popüler formalizmi görmezden geldiğimin farkındayım. Bunları çoğunlukla dışlarım çünkü klasik olarak, bu modeller açısından düşünme konusunda deneyime sahip değilim, nicel olarak bile .

Kuantum ayarında ölçüm tabanlı, topolojik ve adyabatik gibi popüler alternatiflerin de bulunduğunun farkındayım. Onları tartışmıyorum çünkü klasik meslektaşlara aşina değilim.


4
Bunun Teorik Bilgisayar Bilimi'nde de iyi olacağını düşünüyorum . :)
Kaveh

1
@Kaveh cstheory ve CS.SE arasında nerede sorulacağı konusunda kafam çok karıştı. Kuantum işlevini sormaya karar verdim, çünkü kuantum fonksiyonel programlaması hakkında konuşulan (bölüm 2.2'de) henüz bitmemiş bir tezle karşılaştım . dikkatlice düşünecek vakti vardı, ben de düşündüm: hey, yarı pişmiş bir soru soracağım:
Artem Kaznatcheev

1
Umarım cstheory için pişmiş bir soruya yol açacaktır. :)
Kaveh

1
Calgary'de geliştirilen bir doğrusal fonksiyonel kuantum programlama dili olan LPQL'e bakmak isteyebilirsiniz .
08

Yanıtlar:



12

Utanmaz tapa için şimdiden özür dilerim, ancak ilginç bulabileceğiniz kuantum lambda matematiğinde bir kağıt var. Bu Hançer Lambda Matematik olarak adlandırılır ve kategorik kuantum hesaplama okulunun getirdiği diyagramatik devreler için daha üst düzey bir gösterim sunar:

http://arxiv.org/abs/1406.1633

Daha fazla bilgi için YouTube'daki konuşmamı da kontrol edebilirsiniz:

https://www.youtube.com/watch?v=2pDPVd1BukI

Alandaki diğer çalışmalar arasında Selinger-Valiron quantum lambda taşı ve Andre van Tonder tarafından lambda taşı: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ vT04 ], [ SV04 ], [ SV08 ], [ v10 ] .

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.