Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron

Mostrar todas las versiones(2)

El espacio de los estados cuánticos en el campo de la computación cuántica puede ser representado por vectores en un espacio de Hilbert o por matrices de densidad. Selinger y Valiron definieron λq en 2005, una extensión cuántica del cálculo lambda que utiliza vectores para representar el estado cuán...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Borgna, Agustín
Otros Autores: Díaz-Caro, Alejandro
Formato: Tesis de grado publishedVersion
Lenguaje:Inglés
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2019
Materias:
CALCULO LAMBDA
COMPUTACION CUANTICA
MATRICES DE DENSIDAD
CONTROL CLASICO
LAMBDA CALCULUS
QUANTUM COMPUTING
DENSITY MATRICES
CLASSICAL CONTROL
Acceso en línea:https://hdl.handle.net/20.500.12110/seminario_nCOM000620_Borgna
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesisg&d=seminario_nCOM000620_Borgna_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires
id I28-R145-seminario_nCOM000620_Borgna_oai
record_format dspace
spelling I28-R145-seminario_nCOM000620_Borgna_oai2025-08-20 Díaz-Caro, Alejandro Borgna, Agustín 2019 El espacio de los estados cuánticos en el campo de la computación cuántica puede ser representado por vectores en un espacio de Hilbert o por matrices de densidad. Selinger y Valiron definieron λq en 2005, una extensión cuántica del cálculo lambda que utiliza vectores para representar el estado cuántico y sigue el paradigma de datos cuánticos / control clásico. El cálculo λρ introducido por Díaz-Caro en 2017, en cambio, describe los estados cuánticos utilizando matrices de densidad. Estas matrices proporcionan una forma de representar estados cuánticos mixtos. Una modificación de este cálculo llamada λoρ extiende λρ mediante la adición de sumas algebraicas de términos para representar una generalización de las matrices de densidad. En este trabajo analizamos la relación entre los cálculos definiendo una traducción de λρ a λq y su inversa. Usando la traducción probamos la normalización fuerte de λρ. Luego demostramos que las matrices de densidad generalizadas en el cálculo λ o ρ son equivalentes a una elección no-determinista entre términos en λρ y definimos una simulación completa de λoρ en λq. The space of quantum states in the field of quantum computing can be represented with vectors in a Hilbert space, or with density matrices. Selinger and Valiron defined λq in 2005, a quantum extension to the lambda calculus using vectors to represent the quantum states and following the quantum data / classical control paradigm. The λρ calculus introduced by Diaz-Caro in 2017, on the other hand, describes quantum states using density matrices. These matrices provide a way to represent mixed quantum states. A modification of this calculus called λoρ extends λρ by adding algebraic sums of terms to represent a generalization of density matrices. In this thesis we analyze the relationship between the calculi by defining a translation from λρ to λq and its left-inverse. Using the translation we prove the strong normalization of λρ. We then show that the generalized density matrices in the λoρ calculus are equivalent to non-deterministic choices between terms in λρ and define a complete simulation of λoρ into λq. Fil: Borgna, Agustín. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. application/pdf https://hdl.handle.net/20.500.12110/seminario_nCOM000620_Borgna eng Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar CALCULO LAMBDA COMPUTACION CUANTICA MATRICES DE DENSIDAD CONTROL CLASICO LAMBDA CALCULUS QUANTUM COMPUTING DENSITY MATRICES CLASSICAL CONTROL Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron info:eu-repo/semantics/bachelorThesis info:ar-repo/semantics/tesis de grado info:eu-repo/semantics/publishedVersion https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesisg&d=seminario_nCOM000620_Borgna_oai
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-145
collection Repositorio Digital de la Universidad de Buenos Aires (UBA)
language Inglés
orig_language_str_mv eng
topic CALCULO LAMBDA
COMPUTACION CUANTICA
MATRICES DE DENSIDAD
CONTROL CLASICO
LAMBDA CALCULUS
QUANTUM COMPUTING
DENSITY MATRICES
CLASSICAL CONTROL
spellingShingle CALCULO LAMBDA
COMPUTACION CUANTICA
MATRICES DE DENSIDAD
CONTROL CLASICO
LAMBDA CALCULUS
QUANTUM COMPUTING
DENSITY MATRICES
CLASSICAL CONTROL
Borgna, Agustín
Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron
topic_facet CALCULO LAMBDA
COMPUTACION CUANTICA
MATRICES DE DENSIDAD
CONTROL CLASICO
LAMBDA CALCULUS
QUANTUM COMPUTING
DENSITY MATRICES
CLASSICAL CONTROL
description El espacio de los estados cuánticos en el campo de la computación cuántica puede ser representado por vectores en un espacio de Hilbert o por matrices de densidad. Selinger y Valiron definieron λq en 2005, una extensión cuántica del cálculo lambda que utiliza vectores para representar el estado cuántico y sigue el paradigma de datos cuánticos / control clásico. El cálculo λρ introducido por Díaz-Caro en 2017, en cambio, describe los estados cuánticos utilizando matrices de densidad. Estas matrices proporcionan una forma de representar estados cuánticos mixtos. Una modificación de este cálculo llamada λoρ extiende λρ mediante la adición de sumas algebraicas de términos para representar una generalización de las matrices de densidad. En este trabajo analizamos la relación entre los cálculos definiendo una traducción de λρ a λq y su inversa. Usando la traducción probamos la normalización fuerte de λρ. Luego demostramos que las matrices de densidad generalizadas en el cálculo λ o ρ son equivalentes a una elección no-determinista entre términos en λρ y definimos una simulación completa de λoρ en λq.
author2 Díaz-Caro, Alejandro
author_facet Díaz-Caro, Alejandro
Borgna, Agustín
format Tesis de grado
Tesis de grado
publishedVersion
author Borgna, Agustín
author_sort Borgna, Agustín
title Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron
title_short Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron
title_full Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron
title_fullStr Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron
title_full_unstemmed Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron
title_sort simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de selinger y valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by selinger and valiron
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 2019
url https://hdl.handle.net/20.500.12110/seminario_nCOM000620_Borgna
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesisg&d=seminario_nCOM000620_Borgna_oai
work_keys_str_mv AT borgnaagustin simulaciondellambdacalculodematricesdedensidadenellambdacalculocuanticodeselingeryvalironsimulationofthedensitymatrixlambacalculusintothequantumlambdacalculusbyselingerandvaliron
_version_ 1843127017179971584

Ejemplares similares