Clásicamente, hay 3 formas populares de pensar en la computación: la máquina de Turing, los circuitos y el cálculo lambda (lo uso como una trampa para la mayoría de las vistas funcionales). Los 3 han sido formas fructíferas de pensar sobre diferentes tipos de problemas, y diferentes campos utilizan diferentes formulaciones por este motivo.
Sin embargo, cuando trabajo con computación cuántica, solo pienso en el modelo de circuito. Originalmente, el control de calidad se definió en términos de máquinas cuánticas de Turing, pero que yo entienda, esta definición (aunque es equivalente a los circuitos cuánticos si ambos se formulan cuidadosamente) no ha sido tan fructífera. La tercera formulación (en términos de cálculo lambda o configuraciones funcionales similares) no estoy completamente familiarizado. De ahí mis preguntas:
¿Cuáles son las definiciones útiles del cálculo lambda cuántico (u otros paradigmas funcionales)?
¿Qué subcampos de QIP obtienen una visión más profunda al usar esta formulación en lugar del modelo de circuito?
Notas
Soy consciente de que estoy ignorando muchos otros formalismos populares como autómatas celulares, modelos RAM, etc. Los excluyo principalmente porque no tengo experiencia en pensar en términos de estos modelos de manera clásica, y mucho menos cuánticamente .
También soy consciente de que existen alternativas populares en el entorno cuántico, como las basadas en mediciones, topológicas y adiabáticas. No los discuto porque no estoy familiarizado con las contrapartes clásicas.