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.