Classicamente, ci sono 3 modi popolari di pensare al calcolo: macchina di Turing, circuiti e lambda-calcolo (io uso questo come un fermo tutto per la maggior parte delle viste funzionali). Tutti e 3 sono stati modi fruttuosi di pensare a diversi tipi di problemi, e diversi campi usano formulazioni diverse per questo motivo.
Quando lavoro con il calcolo quantistico, tuttavia, penso solo al modello di circuito. Inizialmente, il controllo di qualità era definito in termini di macchine quantistiche di Turing ma, per quanto ho capito, questa definizione (sebbene equivalente ai circuiti quantistici se entrambi sono formulati con cura) non è stata altrettanto fruttuosa. La 3a formulazione (in termini di lambda-calcolo o impostazioni funzionali simili) con cui non ho familiarità. Da qui le mie domande:
Quali sono utili definizioni di lambda-calcolo quantico (o altri paradigmi funzionali)?
Quali sottocampi del QIP ottengono una visione più profonda dall'uso di questa formulazione anziché dal modello di circuito?
Gli appunti
Sono consapevole che sto ignorando molti altri formalismi popolari come automi cellulari, modelli RAM, ecc . Li escludo principalmente perché non ho esperienza con il pensiero in termini di questi modelli in modo classico, per non parlare quantomeno .
Sono anche consapevole del fatto che esistono alternative popolari nell'impostazione quantistica, come quelle basate sulla misurazione, topologiche e adiabatiche. Non li discuto perché non ho familiarità con le controparti classiche.