Quantum lambda calculus


35

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.


4
Saya pikir ini akan baik-baik saja di Ilmu Komputer Teoritis juga. :)
Kaveh

1
@ Kaveh Saya sangat bingung ke mana harus bertanya antara cstheory dan CS.SE :(. Saya memutuskan untuk tidak bertanya pada cstheory karena saya telah menemukan tesis baru - baru ini yang berbicara tentang pemrograman fungsional kuantum (di bagian 2.2) tetapi belum punya waktu untuk memikirkannya dengan seksama. Jadi saya pikir: hei, saya akan mengajukan pertanyaan setengah matang
Artem Kaznatcheev

1
Mudah-mudahan itu akan menimbulkan pertanyaan panggang untuk cerita. :)
Kaveh

1
Anda mungkin ingin melihat LPQL , bahasa pemrograman kuantum fungsional linier yang dikembangkan di Calgary.
jmite

Jawaban:


17

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.


12

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 ] .

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.