Compilación del lambda cálculo con matrices densidad en la máquina cuántica IBM-Q

Vista sencilla de ítem
dc.contributor.advisorDíaz-Caro, Alejandro
dc.contributor.coadvisorMartínez López , Pablo E.
dc.creatorVillagra, Martín
dc.date.accessioned2024-05-13T19:27:45Z
dc.date.available2024-05-13T19:27:45Z
dc.date.issued2023-12
dc.description.abstractEl cálculo λρ introducido por Díaz-Caro en 2017 es un lenguaje basado en el lambda cálculo con extensiones para la computación cuántica donde se utiliza un modelo de control clásico y datos cuánticos. Los estados cuánticos se describen mediante matrices de densidad, que permite operar con estados cuánticos mixtos. En esta tesina se provee un algoritmo para tipar λρ. Utilizando este algoritmo probamos que el tipado es NP-completo bajo condiciones de minimización de los tipos. Seguidamente analizamos la relación entre λρ y las aplicaciones actuales de la computación cuántica al definir una traducción de una versión modificada de λρ a Python y haciendo uso de la biblioteca de Qiskit. Además de probar su correctitud, implementamos estos algoritmos en el lenguaje funcional Haskell.
dc.description.filFil: Villagra, Martín. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; Argentina.
dc.description.peerreviewedPeer reviewed
dc.description.versionpeerreviewed
dc.identifier.urihttps://hdl.handle.net/2133/27030
dc.language.isoes
dc.rightsopenAccess
dc.rights.holderVillagra, Martín
dc.rights.textAttribution-ShareAlike 4.0 Internationalen
dc.rights.urihttp://creativecommons.org/licenses/by-sa/4.0/
dc.subjectLambda cálculo
dc.subjectComputación cuántica
dc.subjectMatrices de densidad
dc.subjectPython
dc.subjectTraducción
dc.subjectCompilador
dc.subjectInferencia de tipos
dc.titleCompilación del lambda cálculo con matrices densidad en la máquina cuántica IBM-Q
dc.typetesis
dc.type.collectiontesis
dc.type.othertesis de grado
dc.type.versionacceptedVersion
lom.educational.contextgrado
lom.educational.difficultymediana dificultad
lom.educational.typicalAgeRangeadultos

Archivos

Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Tesis de Licenciatura en Ciencias de la Computación. Villagra, Martín.pdf
Tamaño:
521.32 KB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
Nombre:
license.txt
Tamaño:
3.87 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

FCEIA-ECEN-DCC- Trabajos Finales de Grado (trabajos finales, proyectos y tesinas)