Hipercomputación desde la computación cuántica.

El problema de investigación propuesto consiste en generalizar el modelo de Kieu a diferentes referentes físicos, sin perder (en lo posible) la generalidad del algoritmo de Kieu, diseñado para resolver el décimo problema de Hilbert. Es decir, el problema de investigación consiste en construir nuevos...

Full description

Autores:
Sicard Ramírez, Andrés
Tipo de recurso:
Investigation report
Fecha de publicación:
2003
Institución:
Ministerio de Ciencia, Tecnología e Innovación
Repositorio:
Repositorio Minciencias
Idioma:
spa
OAI Identifier:
oai:repositorio.minciencias.gov.co:20.500.14143/38087
Acceso en línea:
https://colciencias.metadirectorio.org/handle/11146/38087
http://colciencias.metabiblioteca.com.co
Palabra clave:
Computabilidad
Computabilidad
Computación cuántica
Estados coherentes
Hipercomputación
Rights
openAccess
License
http://purl.org/coar/access_right/c_abf2
id RCENDOC_a85df97f368cfe9b3b027c2e584add2d
oai_identifier_str oai:repositorio.minciencias.gov.co:20.500.14143/38087
network_acronym_str RCENDOC
network_name_str Repositorio Minciencias
repository_id_str
dc.title.spa.fl_str_mv Hipercomputación desde la computación cuántica.
title Hipercomputación desde la computación cuántica.
spellingShingle Hipercomputación desde la computación cuántica.
Computabilidad
Computabilidad
Computación cuántica
Estados coherentes
Hipercomputación
title_short Hipercomputación desde la computación cuántica.
title_full Hipercomputación desde la computación cuántica.
title_fullStr Hipercomputación desde la computación cuántica.
title_full_unstemmed Hipercomputación desde la computación cuántica.
title_sort Hipercomputación desde la computación cuántica.
dc.creator.fl_str_mv Sicard Ramírez, Andrés
dc.contributor.author.none.fl_str_mv Sicard Ramírez, Andrés
dc.contributor.corporatename.spa.fl_str_mv Universidad EAFIT (Colombia)
dc.contributor.researchgroup.none.fl_str_mv Lógica y computación
dc.subject.proposal.spa.fl_str_mv Computabilidad
Computabilidad
Computación cuántica
Estados coherentes
Hipercomputación
topic Computabilidad
Computabilidad
Computación cuántica
Estados coherentes
Hipercomputación
description El problema de investigación propuesto consiste en generalizar el modelo de Kieu a diferentes referentes físicos, sin perder (en lo posible) la generalidad del algoritmo de Kieu, diseñado para resolver el décimo problema de Hilbert. Es decir, el problema de investigación consiste en construir nuevos modelos y algoritmos de hipercomputación sustentados en la computación cuántica. En particular, se desea ampliar el modelo y el algoritmo de Kieu a los siguientes referentes físicos: la caja de potencial, el oscilador de Laguerre, el oscilador de Laguerre generalizado y el rotor cuántico. Para estos referentes se presentan las siguientes hipótesis respecto al problema no Turing-computable que es posible resolver, donde $P(x_1,\dots,x_p)$ es una ecuación diofántica y $n_i \in \mbb{N}$. Referente físico propuesto: Caja de potencial Problema no Turing computable: Ecuaciones $P(x_1, \dots, x_p)$ con soluciones de la forma $\{x_i = n_i^2\}$. Referente físico propuesto: Oscilador de Laguerre Problema no Turing computable: Ecuaciones $P(x_1, \dots, x_p)$ con soluciones de la forma $\{x_i = K + n_i\}$, donde $K \in \mbb{N}$. Referente físico propuesto: Oscilador de Laguerre generalizado Problema no Turing computable: Ecuaciones $P(x_1, \dots, x_p)$ con soluciones de la forma $\{x_i = n_i(n_i + \alpha) \}$, donde $\alpha \in \mbb{N}$. Referente físico propuesto: Rotor cuántico Problema no Turing computable: Ecuaciones $P(x_1, \dots, x_p)$ con soluciones de la forma $\{x_i = -J+n_i\}$, donde $J \in \mbb{N}$ y $ 0 \leq n \leq 2J$. 2. Marco teórico: El primer modelo de computación cuántica que directamente atacó el problema de la hipercomputación, fue el modelo propuesto por Tien D. Kieu, en octubre del año 2001, en el cual presentó un algoritmo dise\~nado para solucionar el décimo problema de Hilbert \cite{Kieu-2003a,Kieu-2002a,Kieu-2003}. La estrategia de Kieu consistió en una estrategia similar a la seguida por Farhi \cite{Farhi-2000,Farhi-2001} para encontrar una solución polinómica a problemas $NP$-completos, pero en lugar de manipular hamiltonianos $finito$-dimensionales, Kieu seleccionó un hamilnoniano $\infty$-dimensional en el espacio de Hilbert $H$ cuya base $\{\ket{n}\mid n \in \mbb{N} \}$ es el conjunto de autovectores del operador número $N$. Además Kieu utilizó una versión del teorema adiabático para un cierto hamiltoniano total $H_P + H_I$ asociado al oscilador armónico, el cual es la suma de un hamiltoniano $H_P$ que codifica la ecuación diofántica $P(x_1, \dots, x_p)$ a resolver y un hamiltoniano $H_I$ de interacción universal construido a partir de los estados coherentes $\ket{z}$ correspondientes al álgebra de Wely-Heissenberg. La idea entonces es que la ecuación $P(x_1, \dots, x_p)$ tiene al menos una solución entera si y sólo si el valor propio asociado al estado fundamental de $H_P$ es igual a cero. 3. Objetivos 3.1 Objetivo general: Construir nuevos modelos de hipercomputación sustentados en la computación cuántica. 3.2 Objetivos específicos: Para cada uno de los referentes físicos propuestos, se espera: A. Construir un nuevo modelo de hipercomputación, con base en la adaptación del modelo de hipercomputación de Kieu al nuevo referente físico. B. Adaptar el algoritmo de Kieu para el décimo problema de Hilbert, al nuevo modelo de hipercomputación obtenido. C. Simular numéricamente el comportamiento del algoritmo obtenido. D. Determinar las similitudes y diferencias con los otros modelos de hipercomputación propuestos (incluyendo el modelo de Kieu). 4. Metodología propuesta: Los tres primeros objetivos se desarrollarán para cada uno de los referentes físicos propuestos. El cuarto objetivo se desarrollará para los cuatro modelos propuestos. Cada una de las siguientes etapas está relacionada con el cumplimiento de cada uno de estos objetivos.
publishDate 2003
dc.date.issued.none.fl_str_mv 2003
dc.date.accessioned.none.fl_str_mv 2020-03-11T23:04:37Z
2020-12-17T22:18:23Z
dc.date.available.none.fl_str_mv 2020-03-11T23:04:37Z
2020-12-17T22:18:23Z
dc.type.spa.fl_str_mv Informe de investigación
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_93fc
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_18ws
dc.type.content.spa.fl_str_mv Text
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/report
dc.type.redcol.spa.fl_str_mv https://purl.org/redcol/resource_type/PID
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/submittedVersion
http://purl.org/coar/version/c_71e4c1898caa6e32
info:eu-repo/semantics/submittedVersion
format http://purl.org/coar/resource_type/c_18ws
status_str submittedVersion
dc.identifier.uri.none.fl_str_mv https://colciencias.metadirectorio.org/handle/11146/38087
dc.identifier.instname.spa.fl_str_mv Colciencias
dc.identifier.reponame.spa.fl_str_mv Repositorio Colciencias
dc.identifier.repourl.spa.fl_str_mv http://colciencias.metabiblioteca.com.co
url https://colciencias.metadirectorio.org/handle/11146/38087
http://colciencias.metabiblioteca.com.co
identifier_str_mv Colciencias
Repositorio Colciencias
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.ispartofseries.none.fl_str_mv Informe;
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
http://purl.org/coar/access_right/c_abf2
dc.rights.creativecommons.spa.fl_str_mv https://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://purl.org/coar/access_right/c_abf2
https://creativecommons.org/licenses/by/4.0/
dc.format.extent.spa.fl_str_mv [105] páginas.
institution Ministerio de Ciencia, Tecnología e Innovación
bitstream.url.fl_str_mv https://repositorio.minciencias.gov.co/bitstreams/f901293e-78f0-4ffb-93dc-d8d174f44b31/download
https://repositorio.minciencias.gov.co/bitstreams/0527b835-9e85-4247-a198-ad1fc7fcfaa9/download
https://repositorio.minciencias.gov.co/bitstreams/6afb2a01-67e0-4569-b80d-3d458cc4dba1/download
https://repositorio.minciencias.gov.co/bitstreams/812508c5-f418-4b43-8d27-b73e6d2024d5/download
https://repositorio.minciencias.gov.co/bitstreams/85c82659-51be-4105-852c-dc9df4a989bd/download
bitstream.checksum.fl_str_mv b4ac22548d47d0e6207a32531030c982
8ffe28672ea88fddc177fe365a489039
d41d8cd98f00b204e9800998ecf8427e
9ea58f67d1749d0be7459ae14204f0d2
8b4c7493a74f0e17d727bc4514393232
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional de Minciencias
repository.mail.fl_str_mv cendoc@minciencias.gov.co
_version_ 1811305892982816768
spelling Sicard Ramírez, Andrésac1c190431ff7428f7a34fb91a2f2017-1Universidad EAFIT (Colombia)Lógica y computación2020-03-11T23:04:37Z2020-12-17T22:18:23Z2020-03-11T23:04:37Z2020-12-17T22:18:23Z2003https://colciencias.metadirectorio.org/handle/11146/38087ColcienciasRepositorio Colcienciashttp://colciencias.metabiblioteca.com.coEl problema de investigación propuesto consiste en generalizar el modelo de Kieu a diferentes referentes físicos, sin perder (en lo posible) la generalidad del algoritmo de Kieu, diseñado para resolver el décimo problema de Hilbert. Es decir, el problema de investigación consiste en construir nuevos modelos y algoritmos de hipercomputación sustentados en la computación cuántica. En particular, se desea ampliar el modelo y el algoritmo de Kieu a los siguientes referentes físicos: la caja de potencial, el oscilador de Laguerre, el oscilador de Laguerre generalizado y el rotor cuántico. Para estos referentes se presentan las siguientes hipótesis respecto al problema no Turing-computable que es posible resolver, donde $P(x_1,\dots,x_p)$ es una ecuación diofántica y $n_i \in \mbb{N}$. Referente físico propuesto: Caja de potencial Problema no Turing computable: Ecuaciones $P(x_1, \dots, x_p)$ con soluciones de la forma $\{x_i = n_i^2\}$. Referente físico propuesto: Oscilador de Laguerre Problema no Turing computable: Ecuaciones $P(x_1, \dots, x_p)$ con soluciones de la forma $\{x_i = K + n_i\}$, donde $K \in \mbb{N}$. Referente físico propuesto: Oscilador de Laguerre generalizado Problema no Turing computable: Ecuaciones $P(x_1, \dots, x_p)$ con soluciones de la forma $\{x_i = n_i(n_i + \alpha) \}$, donde $\alpha \in \mbb{N}$. Referente físico propuesto: Rotor cuántico Problema no Turing computable: Ecuaciones $P(x_1, \dots, x_p)$ con soluciones de la forma $\{x_i = -J+n_i\}$, donde $J \in \mbb{N}$ y $ 0 \leq n \leq 2J$. 2. Marco teórico: El primer modelo de computación cuántica que directamente atacó el problema de la hipercomputación, fue el modelo propuesto por Tien D. Kieu, en octubre del año 2001, en el cual presentó un algoritmo dise\~nado para solucionar el décimo problema de Hilbert \cite{Kieu-2003a,Kieu-2002a,Kieu-2003}. La estrategia de Kieu consistió en una estrategia similar a la seguida por Farhi \cite{Farhi-2000,Farhi-2001} para encontrar una solución polinómica a problemas $NP$-completos, pero en lugar de manipular hamiltonianos $finito$-dimensionales, Kieu seleccionó un hamilnoniano $\infty$-dimensional en el espacio de Hilbert $H$ cuya base $\{\ket{n}\mid n \in \mbb{N} \}$ es el conjunto de autovectores del operador número $N$. Además Kieu utilizó una versión del teorema adiabático para un cierto hamiltoniano total $H_P + H_I$ asociado al oscilador armónico, el cual es la suma de un hamiltoniano $H_P$ que codifica la ecuación diofántica $P(x_1, \dots, x_p)$ a resolver y un hamiltoniano $H_I$ de interacción universal construido a partir de los estados coherentes $\ket{z}$ correspondientes al álgebra de Wely-Heissenberg. La idea entonces es que la ecuación $P(x_1, \dots, x_p)$ tiene al menos una solución entera si y sólo si el valor propio asociado al estado fundamental de $H_P$ es igual a cero. 3. Objetivos 3.1 Objetivo general: Construir nuevos modelos de hipercomputación sustentados en la computación cuántica. 3.2 Objetivos específicos: Para cada uno de los referentes físicos propuestos, se espera: A. Construir un nuevo modelo de hipercomputación, con base en la adaptación del modelo de hipercomputación de Kieu al nuevo referente físico. B. Adaptar el algoritmo de Kieu para el décimo problema de Hilbert, al nuevo modelo de hipercomputación obtenido. C. Simular numéricamente el comportamiento del algoritmo obtenido. D. Determinar las similitudes y diferencias con los otros modelos de hipercomputación propuestos (incluyendo el modelo de Kieu). 4. Metodología propuesta: Los tres primeros objetivos se desarrollarán para cada uno de los referentes físicos propuestos. El cuarto objetivo se desarrollará para los cuatro modelos propuestos. Cada una de las siguientes etapas está relacionada con el cumplimiento de cada uno de estos objetivos.[105] páginas.spaInforme;Hipercomputación desde la computación cuántica.Informe de investigaciónhttp://purl.org/coar/resource_type/c_18wshttp://purl.org/coar/resource_type/c_93fcTextinfo:eu-repo/semantics/reporthttps://purl.org/redcol/resource_type/PIDinfo:eu-repo/semantics/submittedVersionhttp://purl.org/coar/version/c_71e4c1898caa6e32info:eu-repo/semantics/submittedVersioninfo:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2https://creativecommons.org/licenses/by/4.0/ComputabilidadComputabilidadComputación cuánticaEstados coherentesHipercomputaciónEstudiantes, Profesores, Comunidad científica colombiana, etc.12160513576285-2003Departamento Administrativo de Ciencia, Tecnología e Innovación [CO] ColcienciasPrograma Nacional en Ciencias BásicasConstruir nuevos modelos de hipercomputación sustentados en la computación cuántica.PublicationORIGINAL12160513576.pdf12160513576.pdfInforme Técnico Finalapplication/pdf35827https://repositorio.minciencias.gov.co/bitstreams/f901293e-78f0-4ffb-93dc-d8d174f44b31/downloadb4ac22548d47d0e6207a32531030c982MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-814800https://repositorio.minciencias.gov.co/bitstreams/0527b835-9e85-4247-a198-ad1fc7fcfaa9/download8ffe28672ea88fddc177fe365a489039MD52license.txtlicense.txttext/plain; charset=utf-80https://repositorio.minciencias.gov.co/bitstreams/6afb2a01-67e0-4569-b80d-3d458cc4dba1/downloadd41d8cd98f00b204e9800998ecf8427eMD53TEXT12160513576.pdf.txt12160513576.pdf.txtExtracted texttext/plain15https://repositorio.minciencias.gov.co/bitstreams/812508c5-f418-4b43-8d27-b73e6d2024d5/download9ea58f67d1749d0be7459ae14204f0d2MD54THUMBNAIL12160513576.pdf.jpg12160513576.pdf.jpgGenerated Thumbnailimage/jpeg3675https://repositorio.minciencias.gov.co/bitstreams/85c82659-51be-4105-852c-dc9df4a989bd/download8b4c7493a74f0e17d727bc4514393232MD5520.500.14143/38087oai:repositorio.minciencias.gov.co:20.500.14143/380872023-11-29 17:41:38.15restrictedhttps://repositorio.minciencias.gov.coRepositorio Institucional de Mincienciascendoc@minciencias.gov.co