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...
- 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 |