A lambda calculus for density matrices with classical and probabilistic controls

Autores
Díaz Caro, Alejandro
Año de publicación
2017
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, λρ,follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide an interpretation for programs as density matrices and functions upon them. The second one, λρ∘, takes advantage of the density matrices presentation in order to follow the mixed trace of programs in a kind of generalised density matrix. Such a control can be seen as a weaker form of the quantum control and data approach.** El volume de LNCS es 10695, pero el formulario sólo permite 4 dígitos **
Fil: Díaz Caro, Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Quilmes; Argentina
Materia
Classical Control
Density Matrices
Lambda Calculus
Quantum Computing
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/43254
Acceder
id CONICETDig_33b4ac851ccbdeec404d27c270840053
oai_identifier_str oai:ri.conicet.gov.ar:11336/43254
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling A lambda calculus for density matrices with classical and probabilistic controlsDíaz Caro, AlejandroClassical ControlDensity MatricesLambda CalculusQuantum Computinghttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, λρ,follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide an interpretation for programs as density matrices and functions upon them. The second one, λρ∘, takes advantage of the density matrices presentation in order to follow the mixed trace of programs in a kind of generalised density matrix. Such a control can be seen as a weaker form of the quantum control and data approach.** El volume de LNCS es 10695, pero el formulario sólo permite 4 dígitos **Fil: Díaz Caro, Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Quilmes; ArgentinaSpringer2017-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/43254Díaz Caro, Alejandro; A lambda calculus for density matrices with classical and probabilistic controls; Springer; Lecture Notes in Computer Science; 1069; 11-2017; 448-4670302-9743CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-71237-6_22info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007%2F978-3-319-71237-6_22info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-10-15T14:45:00Zoai:ri.conicet.gov.ar:11336/43254instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-10-15 14:45:00.812CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A lambda calculus for density matrices with classical and probabilistic controls
title A lambda calculus for density matrices with classical and probabilistic controls
spellingShingle A lambda calculus for density matrices with classical and probabilistic controls
Díaz Caro, Alejandro
Classical Control
Density Matrices
Lambda Calculus
Quantum Computing
title_short A lambda calculus for density matrices with classical and probabilistic controls
title_full A lambda calculus for density matrices with classical and probabilistic controls
title_fullStr A lambda calculus for density matrices with classical and probabilistic controls
title_full_unstemmed A lambda calculus for density matrices with classical and probabilistic controls
title_sort A lambda calculus for density matrices with classical and probabilistic controls
dc.creator.none.fl_str_mv Díaz Caro, Alejandro
author Díaz Caro, Alejandro
author_facet Díaz Caro, Alejandro
author_role author
dc.subject.none.fl_str_mv Classical Control
Density Matrices
Lambda Calculus
Quantum Computing
topic Classical Control
Density Matrices
Lambda Calculus
Quantum Computing
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, λρ,follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide an interpretation for programs as density matrices and functions upon them. The second one, λρ∘, takes advantage of the density matrices presentation in order to follow the mixed trace of programs in a kind of generalised density matrix. Such a control can be seen as a weaker form of the quantum control and data approach.** El volume de LNCS es 10695, pero el formulario sólo permite 4 dígitos **
Fil: Díaz Caro, Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Quilmes; Argentina
description In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, λρ,follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide an interpretation for programs as density matrices and functions upon them. The second one, λρ∘, takes advantage of the density matrices presentation in order to follow the mixed trace of programs in a kind of generalised density matrix. Such a control can be seen as a weaker form of the quantum control and data approach.** El volume de LNCS es 10695, pero el formulario sólo permite 4 dígitos **
publishDate 2017
dc.date.none.fl_str_mv 2017-11
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/43254
Díaz Caro, Alejandro; A lambda calculus for density matrices with classical and probabilistic controls; Springer; Lecture Notes in Computer Science; 1069; 11-2017; 448-467
0302-9743
CONICET Digital
CONICET
url http://hdl.handle.net/11336/43254
identifier_str_mv Díaz Caro, Alejandro; A lambda calculus for density matrices with classical and probabilistic controls; Springer; Lecture Notes in Computer Science; 1069; 11-2017; 448-467
0302-9743
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-71237-6_22
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007%2F978-3-319-71237-6_22
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1846082961358716928
score 13.22299

Publicaciones similares