Representing continuous t -norms in quantum computation with mixed states

Autores
Freytes Solari, Hector Carlos; Sergioli, Giuseppe; Aricò, A.
Año de publicación
2010
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
A model of quantum computation is discussed in (Aharanov et al 1997 Proc. 13th Annual ACM Symp. on Theory of Computation, STOC pp 20–30) and (Tarasov 2002 J. Phys. A: Math. Gen. 35 5207–35) in which quantum gates are represented by quantum operations acting on mixed states. It allows one to use a quantum computational model in which connectives of a four-valued logic can be realized as quantum gates. In this model, we give a representation of certain functions, known as t-norms (Menger 1942 Proc. Natl Acad. Sci. USA 37 57–60), that generalize the triangle inequality for the probability distributionvalued metrics. As a consequence an interpretation of the standard operations associated with the basic fuzzy logic (Hajek 1998 Metamathematics of Fuzzy ´ Logic (Trends in Logic vol 4) (Dordrecht: Kluwer)) is provided in the frame of quantum computation.
Fil: Freytes Solari, Hector Carlos. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Saavedra 15. Instituto Argentino de Matemática Alberto Calderón; Argentina. Università degli Studi di Cagliari; Italia
Fil: Sergioli, Giuseppe. Università degli Studi di Cagliari; Italia
Fil: Aricò, A.. Università degli Studi di Cagliari; Italia
Materia
T-NORM
MIXED STATES
QUANTUM COMPUTATION
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/279188

id CONICETDig_31a45b893936dca0180a51e98d3d99c6
oai_identifier_str oai:ri.conicet.gov.ar:11336/279188
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Representing continuous t -norms in quantum computation with mixed statesFreytes Solari, Hector CarlosSergioli, GiuseppeAricò, A.T-NORMMIXED STATESQUANTUM COMPUTATIONhttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1A model of quantum computation is discussed in (Aharanov et al 1997 Proc. 13th Annual ACM Symp. on Theory of Computation, STOC pp 20–30) and (Tarasov 2002 J. Phys. A: Math. Gen. 35 5207–35) in which quantum gates are represented by quantum operations acting on mixed states. It allows one to use a quantum computational model in which connectives of a four-valued logic can be realized as quantum gates. In this model, we give a representation of certain functions, known as t-norms (Menger 1942 Proc. Natl Acad. Sci. USA 37 57–60), that generalize the triangle inequality for the probability distributionvalued metrics. As a consequence an interpretation of the standard operations associated with the basic fuzzy logic (Hajek 1998 Metamathematics of Fuzzy ´ Logic (Trends in Logic vol 4) (Dordrecht: Kluwer)) is provided in the frame of quantum computation.Fil: Freytes Solari, Hector Carlos. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Saavedra 15. Instituto Argentino de Matemática Alberto Calderón; Argentina. Università degli Studi di Cagliari; ItaliaFil: Sergioli, Giuseppe. Università degli Studi di Cagliari; ItaliaFil: Aricò, A.. Università degli Studi di Cagliari; ItaliaIOP Publishing2010-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/279188Freytes Solari, Hector Carlos; Sergioli, Giuseppe; Aricò, A.; Representing continuous t -norms in quantum computation with mixed states; IOP Publishing; Journal of Physics A: Mathematical and Theoretical; 43; 46; 11-2010; 1-131751-8113CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://iopscience.iop.org/article/10.1088/1751-8113/43/46/465306info:eu-repo/semantics/altIdentifier/doi/10.1088/1751-8113/43/46/465306info: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écnicas2026-02-26T10:20:17Zoai:ri.conicet.gov.ar:11336/279188instacron: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:34982026-02-26 10:20:18.087CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Representing continuous t -norms in quantum computation with mixed states
title Representing continuous t -norms in quantum computation with mixed states
spellingShingle Representing continuous t -norms in quantum computation with mixed states
Freytes Solari, Hector Carlos
T-NORM
MIXED STATES
QUANTUM COMPUTATION
title_short Representing continuous t -norms in quantum computation with mixed states
title_full Representing continuous t -norms in quantum computation with mixed states
title_fullStr Representing continuous t -norms in quantum computation with mixed states
title_full_unstemmed Representing continuous t -norms in quantum computation with mixed states
title_sort Representing continuous t -norms in quantum computation with mixed states
dc.creator.none.fl_str_mv Freytes Solari, Hector Carlos
Sergioli, Giuseppe
Aricò, A.
author Freytes Solari, Hector Carlos
author_facet Freytes Solari, Hector Carlos
Sergioli, Giuseppe
Aricò, A.
author_role author
author2 Sergioli, Giuseppe
Aricò, A.
author2_role author
author
dc.subject.none.fl_str_mv T-NORM
MIXED STATES
QUANTUM COMPUTATION
topic T-NORM
MIXED STATES
QUANTUM COMPUTATION
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv A model of quantum computation is discussed in (Aharanov et al 1997 Proc. 13th Annual ACM Symp. on Theory of Computation, STOC pp 20–30) and (Tarasov 2002 J. Phys. A: Math. Gen. 35 5207–35) in which quantum gates are represented by quantum operations acting on mixed states. It allows one to use a quantum computational model in which connectives of a four-valued logic can be realized as quantum gates. In this model, we give a representation of certain functions, known as t-norms (Menger 1942 Proc. Natl Acad. Sci. USA 37 57–60), that generalize the triangle inequality for the probability distributionvalued metrics. As a consequence an interpretation of the standard operations associated with the basic fuzzy logic (Hajek 1998 Metamathematics of Fuzzy ´ Logic (Trends in Logic vol 4) (Dordrecht: Kluwer)) is provided in the frame of quantum computation.
Fil: Freytes Solari, Hector Carlos. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Saavedra 15. Instituto Argentino de Matemática Alberto Calderón; Argentina. Università degli Studi di Cagliari; Italia
Fil: Sergioli, Giuseppe. Università degli Studi di Cagliari; Italia
Fil: Aricò, A.. Università degli Studi di Cagliari; Italia
description A model of quantum computation is discussed in (Aharanov et al 1997 Proc. 13th Annual ACM Symp. on Theory of Computation, STOC pp 20–30) and (Tarasov 2002 J. Phys. A: Math. Gen. 35 5207–35) in which quantum gates are represented by quantum operations acting on mixed states. It allows one to use a quantum computational model in which connectives of a four-valued logic can be realized as quantum gates. In this model, we give a representation of certain functions, known as t-norms (Menger 1942 Proc. Natl Acad. Sci. USA 37 57–60), that generalize the triangle inequality for the probability distributionvalued metrics. As a consequence an interpretation of the standard operations associated with the basic fuzzy logic (Hajek 1998 Metamathematics of Fuzzy ´ Logic (Trends in Logic vol 4) (Dordrecht: Kluwer)) is provided in the frame of quantum computation.
publishDate 2010
dc.date.none.fl_str_mv 2010-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/279188
Freytes Solari, Hector Carlos; Sergioli, Giuseppe; Aricò, A.; Representing continuous t -norms in quantum computation with mixed states; IOP Publishing; Journal of Physics A: Mathematical and Theoretical; 43; 46; 11-2010; 1-13
1751-8113
CONICET Digital
CONICET
url http://hdl.handle.net/11336/279188
identifier_str_mv Freytes Solari, Hector Carlos; Sergioli, Giuseppe; Aricò, A.; Representing continuous t -norms in quantum computation with mixed states; IOP Publishing; Journal of Physics A: Mathematical and Theoretical; 43; 46; 11-2010; 1-13
1751-8113
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://iopscience.iop.org/article/10.1088/1751-8113/43/46/465306
info:eu-repo/semantics/altIdentifier/doi/10.1088/1751-8113/43/46/465306
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 IOP Publishing
publisher.none.fl_str_mv IOP Publishing
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_ 1858305544694005760
score 13.176822