Uma Abordagem Funcional na Implementação do Algoritmo de Teleportação Quântica

M.B. Cardoso, R.H.S. Reiser, A.C.R. Costa

Abstract


O desenvolvimento de extensões de bibliotecas da linguagem de programa ção Haskell, mais intuitiva para programação quântica, visa obter uma compreensão mais abrangente da computação quântica baseada em seus fundamentos matemáticos. Os conceitos gerais da programação funcional são aplicados na implementa ção de algoritmos quânticos para teleportação. Baseada na metodologia introduzida por Amr Sabry, esta implementação inclui a aplicação da técnica de valores virtuais, a análise de dados quânticos (clássicos, superposição, emaranhados), a especificação de transformações unitárias e a compreensão do processos de medida, que é a observação de valores.

References


[1] R. Bird, “Introduction to Functional Programming”, Prentice Hall, 1988.

G. Brassard, “Teleportation as a quantum computation”, 1998. (disponível em: www.citeseer.ist.psu.edu/brassard98teleportation.html).

B. Butscher, H. Weimer, “Libquantum”, 2003. (disponível em: http://www.enyo.de/ libquantum).

M. Eck, P. Wocjan, “Quantum Circuit Simulator - QuaSi”, Universit¨at Karlsruhe, 2000. (disponível em: http://iakswww.ira.uka.de/QIV/QuaSi/aboutquasi.html).

M. Hirvensalo, “Quantum Computing”, Springer Verlag, 2001.

K. Kagawa, Mutable data structures and composable references in pure functional language, em “State in Programming Languages - SIPL’95”, (U.S.Reddy, ed.) pp. 79-94, ACM/SIGPLAN University of Illinois at Urbana-Champaign, 1995.

M. Nielsen, E. Knill, “Complete quantum teleportation by nuclear magnetic resonance”, 1998. (disponível em: wwww. citeseer. ist. psu. edu/ 595490.html)

M. Nielsen, I. Chuang, “Quantum Computation and Quantum Information”, Cambridge University Press, 2000.

C. McCubbin, “Open-Source Quantum Computer Simulator in Maple - (OpenQUACS)”, 2000. (disponível em: http://userpages.umbc.edu/ cmccub1/quacs/quacs.html)

A. Pittenger, “An Introduction to Quantum Computing Algorithms”, Birkhauser Boston, 1999.

H. Raedt, A.H. Hams, K. Michielsen, Quantum Computer Emulator - QCE, Computer Physics Communications, 132 (2000), 1–29. (disponível em: http://arxiv.org/PS-cache/quant-ph/pdf/9911/9911041.pdf)

E. Rieffel, W. Polak, An introduction to quantum computing for nonphysicists, ACM Computing Surveys, 32(3)(2000), 300 – 335. (disponível em: http://arxiv.org/abs/quant-ph/?9809016)

A. Sabry, Modeling quantum computing in Haskell. In: ACM SIGPLAN 2003 Haskell Workshop, 2003. (disponível em: http://www.cs.indiana.edu/sabry/papers/ quantum.pdf)




DOI: https://doi.org/10.5540/tema.2006.07.02.0237

Article Metrics

Metrics Loading ...

Metrics powered by PLOS ALM

Refbacks

  • There are currently no refbacks.


Trends in Computational and Applied Mathematics

A publication of the Brazilian Society of Applied and Computational Mathematics (SBMAC)

 

Indexed in:

                       

         

 

Desenvolvido por:

Logomarca da Lepidus Tecnologia