Registro:
Documento: | Tesis de Grado |
Título: | Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad |
Título alternativo: | Adding a fixed-point operator to a quantum extension to the Lambda calculus with density matrices |
Autor: | Ivnisky, Malena |
Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
Publicación en la web: | 2023-09-12 |
Fecha de defensa: | 2020-08-28 |
Fecha en portada: | 2020 |
Grado Obtenido: | Grado |
Título Obtenido: | Licenciado en Ciencias de la Computación |
Director: | Díaz Caro, Alejandro |
Director Asistente: | Melgratti, Hernán Claudio |
Idioma: | Español |
Palabras clave: | PUNTO FIJO; LAMBDA CALCULO; COMPUTACION CUANTICA; MATRICES DE DENSIDAD; ORDEN PARCIAL COMPLETOFIXED-POINT; LAMBDA CALCULUS; QUANTUM COMPUTING; DENSITY MATRICES; COMPLETE PARTIAL ORDEN |
Formato: | PDF |
Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000480_Ivnisky |
PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000480_Ivnisky.pdf |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000480_Ivnisky |
Ubicación: | Dep.COM 000480 |
Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Ivnisky, Malena. (2020). Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000480_Ivnisky |
Resumen:
El cálculo λρ presentado por Díaz-Caro en 2017 es una extensión cuántica del lambda cálculo que usa matrices de densidad. Estas matrices permiten representar estados mixtos de conjuntos de bits cuánticos. El cálculo modificado λ°ρ generaliza las matrices de densidad a sumatorias algebraicas de términos. Ambos cálculos tienen definida una semántica denotacional compartida. Este trabajo representa un primer paso hacia el agregado de punto fijo al cálculo λ°ρ. Definimos una extensión con punto fijo en el límite y otra intermedia, con punto fijo incremental. La semántica denotacional fue redefinida respecto a la original para dar a los dominios estructura de orden parcial completo sobre matrices positivas. La demostración de adecuación depende de dos conjeturas dejadas para trabajo futuro. Suponiendo correcta la definición de la semántica, esto permite probar la existencia del límite del punto fijo incremental gracias a la estructura de orden parcial completo. La interpretación del punto fijo puede definirse entonces como el límite de una secuencia creciente y acotada de interpretaciones de términos en el dominio.
Abstract:
The λρ calculus presented by Díaz-Caro in 2017 is a quantum extension to lambda calculus that uses density matrices. These matrices allow us to represent sets of quantum bits’ mixed quantum states. The modified calculus λ°ρ generalizes density matrices to algebraic sums of terms. Both calculi share their denotational semantics. This work represents a first step towards adding fixed-point to the λ◦ρ calculus. We define an extension with fixed-point as a limit, and an intermediate one with an incremental fixed-point. The denotational semantics were redefined in respect to the original one, in order for the domains to have a complete partial order structure over positive matrices. The proof of adequacy depends on two conjectures, left for future work. Supposing that the denotational semantics is sound and well defined, this allows us to prove the existence of the limit for the fixed-point inside the domains, thanks to the complete partial order structure. The fixed-point semantics can then be defined as the limit of an increasing bounded sequence of term interpretations inside the domain.
Citación:
---------- APA ----------
Ivnisky, Malena. (2020). Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000480_Ivnisky
---------- CHICAGO ----------
Ivnisky, Malena. "Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2020.https://hdl.handle.net/20.500.12110/seminario_nCOM000480_Ivnisky
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000480_Ivnisky.pdf
Distrubución geográfica