tag:blogger.com,1999:blog-13121066.post8790790374827253059..comments2022-04-09T11:21:22.161-03:00Comments on Computación Cuántica: 2 nuevos: λFA y λvecGabriel Sennohttp://www.blogger.com/profile/15468850923251475032noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-13121066.post-15518813915369900202011-02-03T20:28:54.262-03:002011-02-03T20:28:54.262-03:00Hola Marcos.
El cálculo lambda describe el "...Hola Marcos.<br /><br />El cálculo lambda describe el "cómo". Por lo tanto bien podrías hacer un análisis de complejidad allí si quisieras. De todas maneras, no creo que sea lo más interesante hacer un análisis de complejidad en un algoritmo cuántico escrito en lambda-cálculo (puede ser muy complejo, y hay otras herramientas mejores para ello).<br /><br />El cómo se define un algoritmo cuántico: bueno básicamente se toman las definiciones clásicas de true y false en lambda cálculo, se consideran que esos representan los ket |0> y |1>, y se escriben las compuertas cuánticas por descripción: por ejemplo, para la compuerta Hadamard que toma |0> y devuelve |-> y toma |1> y devuelve |+>, se escribe un término lambda que procurando que se comporte de esa manera con true y false, y el cálculo en sí (λlin) es "lineal" con respecto a la suma y los escalares, por tanto, si tenemos definido nuestra compuerta H que actúa como se espera en true y false, cuando hagamos H (α.true+β.false) vamos a obtener α.H true+β.H false (como se esperaría), debido a esa linealidad.<br /><br />Hay muchísimos más detalles que estoy pasando por arriba. Te recomiendo el paper [AD08] que cito en el post si te interesa mirar un poco más profundamente el tema.<br /><br />Con respecto a "para qué queremos ésto" (ya que como dije más arriba, no es para analizar complejidad), te recomiendo el post con el cual nos conocimos :) http://computacioncuantica.blogspot.com/2009/09/computacion-cuantica-teoria-de-tipos-y.html<br />Ahí explico la conexión entre teoría de tipos y lógica cuántica. El lambda cálculo tipado me interesará cuando logre que sólo los algoritmos cuánticos y nada más que los algoritmos cuánticos puedan ser tipados allí, y por tanto, su sistema de tipos se corresponderá con una lógica cuántica, desde un punto de vista computacional (o sea, más formalmente fundada que la lógica cuántica de Birkhoff y von Neumann).Anonymoushttps://www.blogger.com/profile/12892611821739645185noreply@blogger.comtag:blogger.com,1999:blog-13121066.post-8774705296690670932011-02-03T20:16:43.445-03:002011-02-03T20:16:43.445-03:00Alejandro, yo no se nada de esto, por lo que mi pr...Alejandro, yo no se nada de esto, por lo que mi pregunta puede ser tonta. Pero en general, como se define un programa (o algoritmo?) cuantico en calculo lambda? Segun mi entendimiento, el calculo lambda es un lenguaje "descriptivo", i.e. solo indica que pasa en la computacion, y no como se hace. Entonces, las cuestiones de complejidad estan escondidas ahi. Pero, es en la complejidad en donde radica la gran diferencia en los algoritmos cuanticos y clasicos. Si solo se puede describir "lo que el algoritmo hace", en donde queda la complejidad?Anonymoushttps://www.blogger.com/profile/06555698085827024433noreply@blogger.com