Quantum lambda-calcul

Question

Classiquement, il y a 3 façons populaires pour penser calcul: machine de Turing, circuits et lambda-calcul (je l'utiliser comme un fourre-tout pour la plupart des vues fonctionnelles). Tous les trois ont été façons utile de déterminer les différents types de problèmes, et les différents champs utiliser la formulation différente pour cette raison.

Quand je travaille avec l'informatique quantique, cependant, je pense que jamais sur le modèle de circuit. A l'origine, QC a été défini en termes de machines de Turing mais pour autant que je sache, cette définition (bien qu'équivalentes circuits quantiques si les deux sont soigneusement formulées) n'a pas été presque aussi fructueuse. La 3ème formulation (en termes de lambda-calcul ou paramètres fonctionnels similaires) Je suis tout à fait familier avec. D'où mes questions:

• Quelles sont les définitions utiles de lambda-calcul quantique (ou d'autres paradigmes fonctionnels)?

• Qu'est-ce que sous-champs de QIP avoir un aperçu plus profond de l'utilisation de cette formulation à la place du modèle de circuit?

---

Remarques

Je suis conscient que je suis ignorant beaucoup d'autres formalismes populaires comme les automates cellulaires, les modèles de RAM, etc. Je les exclure surtout parce que je n'ai pas l'expérience avec la pensée en termes de ces modèles classiques, et encore moins quantumly .

Je suis également conscient qu'il existe des alternatives populaires dans le cadre quantique, comme fondée sur la mesure, topologique et adiabatiques. Je ne les discute pas parce que je ne suis pas familier avec les homologues classiques.

Answer 1

ici est une réponse bancales: Je sais que Ugo Dal Lago à l'Université de Bologne a étudié le calcul lambda quantique. Vous pouvez consulter ses publications et peut-être celui-ci en particulier:

Quantum complexité de calcul implicite par U. Dal Lago, A. Masini, M. Zorzi.

Je dis que c'est une réponse bancales, parce que je ne l'ai pas eu la chance de lire une de ses œuvres.

Answer 2

Toutes mes excuses à l'avance pour la prise sans vergogne, mais il y a un papier de mine sur un calcul lambda quantique que vous trouverez peut-être intéressant. Il est appelé Le calcul Lambda Dagger et fournit une représentation d'ordre supérieur pour les circuits schématiques que l'école catégorique du calcul quantique ont introduit:

http://arxiv.org/abs/1406.1633

Vous pouvez également vérifier mon discours sur YouTube pour plus d'informations:

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

D'autres travaux dans la région comprennent le quantum lambda-lithiase Selinger Valiron, et le lambda-calcul par Andre van Tonder: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ vT04 ], [ SV04 ], [SV08 ], [ SV10 ].