Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad

Mostrar todas las versiones(3)

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érmi...

Descripción completa

Detalles Bibliográficos
Autor principal: Ivnisky, Malena
Formato: Tesis de Grado
Lenguaje:Español
Publicado: 2020
Materias:
PUNTO FIJO
LAMBDA CALCULO
COMPUTACION CUANTICA
MATRICES DE DENSIDAD
ORDEN PARCIAL COMPLETO
FIXED-POINT
LAMBDA CALCULUS
QUANTUM COMPUTING
DENSITY MATRICES
COMPLETE PARTIAL ORDEN
Acceso en línea:https://hdl.handle.net/20.500.12110/seminario_nCOM000480_Ivnisky
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:seminario_nCOM000480_Ivnisky
record_format dspace
spelling todo:seminario_nCOM000480_Ivnisky2023-10-03T16:48:47Z Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad Adding a fixed-point operator to a quantum extension to the Lambda calculus with density matrices Ivnisky, Malena PUNTO FIJO LAMBDA CALCULO COMPUTACION CUANTICA MATRICES DE DENSIDAD ORDEN PARCIAL COMPLETO FIXED-POINT LAMBDA CALCULUS QUANTUM COMPUTING DENSITY MATRICES COMPLETE PARTIAL ORDEN 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. 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. Fil: Ivnisky, Malena. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2020 Tesis de Grado PDF Español info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/seminario_nCOM000480_Ivnisky
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv Español
topic PUNTO FIJO
LAMBDA CALCULO
COMPUTACION CUANTICA
MATRICES DE DENSIDAD
ORDEN PARCIAL COMPLETO
FIXED-POINT
LAMBDA CALCULUS
QUANTUM COMPUTING
DENSITY MATRICES
COMPLETE PARTIAL ORDEN
spellingShingle PUNTO FIJO
LAMBDA CALCULO
COMPUTACION CUANTICA
MATRICES DE DENSIDAD
ORDEN PARCIAL COMPLETO
FIXED-POINT
LAMBDA CALCULUS
QUANTUM COMPUTING
DENSITY MATRICES
COMPLETE PARTIAL ORDEN
Ivnisky, Malena
Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
topic_facet PUNTO FIJO
LAMBDA CALCULO
COMPUTACION CUANTICA
MATRICES DE DENSIDAD
ORDEN PARCIAL COMPLETO
FIXED-POINT
LAMBDA CALCULUS
QUANTUM COMPUTING
DENSITY MATRICES
COMPLETE PARTIAL ORDEN
description 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.
format Tesis de Grado
author Ivnisky, Malena
author_facet Ivnisky, Malena
author_sort Ivnisky, Malena
title Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
title_short Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
title_full Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
title_fullStr Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
title_full_unstemmed Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
title_sort agregando punto fijo a una extensión cuántica de lambda cálculo con matrices de densidad
publishDate 2020
url https://hdl.handle.net/20.500.12110/seminario_nCOM000480_Ivnisky
work_keys_str_mv AT ivniskymalena agregandopuntofijoaunaextensioncuanticadelambdacalculoconmatricesdedensidad
AT ivniskymalena addingafixedpointoperatortoaquantumextensiontothelambdacalculuswithdensitymatrices
_version_ 1807321187848552448

Ejemplares similares