Quantum lambda calcolo

Question

Classicamente, ci sono 3 modi popolari a cui pensare calcolo: macchina di Turing, circuiti, e lambda-calcolo (io uso questo come una cattura tutti per la maggior parte vista funzionale). Tutti e 3 sono stati fruttuosi modi di pensare a diversi tipi di problemi, e diversi campi utilizzare formulazione diversa per questo motivo.

Quando lavoro con quantum computing, però, ho sempre e solo pensare al modello di circuito. In origine, QC è stato definito in termini di quantum Turing macchine ma per quanto ho capito, questa definizione (anche se equivalente a circuiti quantistici se entrambe sono formulati accuratamente) non e 'stato altrettanto fruttuosa. Il 3 ° formulazione (in termini di lambda-calcolo o le impostazioni funzionali simili) sono completamente familiarità con. Quindi le mie domande:

• Quali sono le definizioni utili di quantum lambda-calcolo (o altri paradigmi funzionali)?

• Quali sottocampi di QIP ottenere una visione più profonda di utilizzare questa formulazione al posto del modello di circuito?

---

Note

Mi rendo conto che sto ignorando molti altri formalismi popolari come automi cellulari, RAM-modelli, ecc ho escludere questi soprattutto perché non ho esperienza con il pensiero in termini di questi modelli classicamente, per non parlare di quantumly .

Sono anche consapevole che ci sono alternative popolari nella impostazione quantistica, come fondata su misure, topologica, e adiabatico. Non discuto loro perché non sono a conoscenza delle controparti classiche.

Answer 1

qui è una risposta cotto a metà: So che Ugo Dal Lago presso l'Università di Bologna ha studiato quantum lambda calcolo. Si consiglia di controllare sue pubblicazioni e forse questo uno in particolare:

Quantum implicita complessità computazionale di U. Dal Lago, A. Masini, M. Zorzi.

sto dicendo che sia una risposta cotto a metà, perché non ho avuto la possibilità di leggere qualsiasi delle sue opere.

Answer 2

Ci scusiamo in anticipo per la spina spudorato, ma c'è un mio lavoro su un calcolo di quantum lambda che si possono trovare interessanti. Si chiama Il pugnale Lambda Calcolo e fornisce una rappresentazione di ordine superiore per i circuiti schematici che la scuola categorica della computazione quantistica sono introdotti:

http://arxiv.org/abs/1406.1633

Si può anche controllare il mio discorso su YouTube per maggiori informazioni:

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

Altre opere nella zona includono il Selinger-Valiron quantum lambda calcoli, e il lambda calcolo da Andre van Tonder: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ vt04 ], [ SV04 ], [SV08 ], [ SV10 ].