Secara klasik, ada 3 cara populer untuk memikirkan komputasi: Mesin Turing, sirkuit, dan lambda-calculus (Saya menggunakan ini sebagai tangkapan semua untuk sebagian besar tampilan fungsional). Semua 3 cara berbuah untuk berpikir tentang berbagai jenis masalah, dan bidang yang berbeda menggunakan formulasi yang berbeda untuk alasan ini.
Ketika saya bekerja dengan komputasi kuantum, saya hanya memikirkan model rangkaian. Awalnya, QC didefinisikan dalam hal mesin Turing kuantum tetapi sejauh yang saya mengerti, definisi ini (meskipun setara dengan sirkuit kuantum jika keduanya diformulasikan dengan hati-hati) belum hampir berbuah. Formulasi ke-3 (dalam hal lambda-kalkulus atau pengaturan fungsional serupa) saya benar-benar tidak terbiasa. Karena itu pertanyaan saya:
Apa definisi berguna dari quantum lambda-calculus (atau paradigma fungsional lainnya)?
Subbidang QIP apa yang mendapatkan wawasan lebih dalam dari penggunaan formulasi ini dan bukan model rangkaian?
Catatan
Saya menyadari bahwa saya mengabaikan banyak formalisme populer lainnya seperti automata seluler, model-RAM, dll. Saya mengecualikan ini sebagian besar karena saya tidak memiliki pengalaman dengan pemikiran dalam hal model-model ini secara klasik, apalagi secara kuantitatif .
Saya juga menyadari bahwa ada alternatif populer dalam pengaturan kuantum, seperti berbasis pengukuran, topologi, dan adiabatik. Saya tidak membahasnya karena saya tidak terbiasa dengan rekan-rekan klasik.
sumber
Jawaban:
di sini adalah jawaban yang setengah matang: Saya tahu bahwa Ugo Dal Lago di Universitas Bologna telah mempelajari kalkulus kuantum lambda. Anda mungkin ingin memeriksa publikasi dan mungkin yang ini khususnya:
Kompleksitas komputasi implisit kuantum oleh U. Dal Lago, A. Masini, M. Zorzi.
Saya mengatakan ini adalah jawaban yang setengah matang, karena saya belum memiliki kesempatan untuk membaca salah satu karyanya.
sumber
Mohon maaf sebelumnya untuk plug tak tahu malu, tetapi ada kertas saya pada kalkulus kuantum lambda yang mungkin Anda temukan menarik. Ini disebut The Dagger Lambda Calculus dan memberikan representasi tingkat tinggi untuk sirkuit diagram yang diperkenalkan oleh sekolah kategori komputasi kuantum:
http://arxiv.org/abs/1406.1633
Anda juga dapat memeriksa ceramah saya di YouTube untuk info lebih lanjut:
https://www.youtube.com/watch?v=2pDPVd1BukI
Karya-karya lain di daerah ini termasuk kalkulus Selumum -Valiron quantum lambda, dan kalkulus lambda oleh Andre van Tonder: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ vT04 ], [ SV04 ], [ SV08 ], [ SV10 ] , [ SV10 ] .
sumber