Quantum cálculo lambda

Question

Clásicamente, hay 3 formas populares para pensar en computación: la máquina de Turing, circuitos, y lambda-cálculo (yo uso esto como un cajón de sastre para la mayoría de puntos de vista funcionales). Los 3 han sido fructíferas formas de pensar acerca de diferentes tipos de problemas, y utilizar diferentes campos formulación diferente por esta razón.

Cuando trabajo con la computación cuántica, sin embargo, yo sólo pensar en el modelo de circuito. Originalmente, control de calidad se define en términos de máquinas de Turing pero por lo que tengo entendido, esta definición (aunque equivalente a circuitos cuánticos si ambos están formulados con cuidado) no ha sido tan fructífera. La tercera formulación (en términos de cálculo lambda o ajustes funcionales similares) estoy completamente familiarizado. De ahí mi pregunta:

• ¿Cuáles son las definiciones útiles de quantum lambda-cálculo (u otros paradigmas funcionales)?

• ¿Qué subcampos de proyectos de efecto rápido obtener una visión más profunda del uso de esta formulación en lugar del modelo de circuito?

---

Notas

Soy consciente de que estoy haciendo caso omiso de muchos otros formalismos populares como autómatas celulares, RAM-modelos, etc. excluir a éstos sobre todo porque no tengo experiencia con el pensamiento en términos de estos modelos clásico, por no hablar de quantumly .

También soy consciente de que hay alternativas populares en el entorno cuántica, como la basada en la medición, topológico, y adiabática. No discuto porque no estoy familiarizado con los homólogos clásicos.

Answer 1

aquí es una respuesta a medias: Sé que Ugo Dal Lago en la Universidad de Bolonia ha estado estudiando el cálculo lambda cuántica. Es posible que desee comprobar sus publicaciones y quizás éste en particular:

Quantum implícita complejidad computacional por U. Dal Lago, A. Masini, M. Zorzi.

Yo digo que es una respuesta a medias, porque no he tenido oportunidad de leer cualquiera de sus obras.

Answer 2

Disculpas por adelantado para el enchufe descarado, pero no es uno de mis trabajos en un cálculo lambda cuántico que puede resultar interesante. Se llama La Daga cálculo lambda y proporciona una representación de orden superior para los circuitos esquemáticos que la escuela categórica de la computación cuántica han introducido:

http://arxiv.org/abs/1406.1633

También puede comprobar mi charla en YouTube para obtener más información:

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

Otros trabajos en la zona son los cálculos Selinger-Valiron lambda cuántica, y el cálculo lambda por Andre van Tonder: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ vT04 ], [ SV04 ], [SV08 ], [ SV10 ].