Simulation of quantum algorithms considering the quantum theory modal in Haskell

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESThe development of quantum algorithms faces some difficulties such as the lack of a general-purpose quantum computer, a language or a specific formalism, or high consumption of computational resources when it is simulation of quantum algorithms on classical computers. This paper presents the development of the MQS (Modal Quantum Simulatio), a library of quantum computing written in Haskell able to develop implementation of algorithms considering the Quantum Theory Modal. This theory is attractive as the replacement of complex probability amplitudes for finite fields. A simplified theory is compared with the conventional quantum computing, but retains much of the structure of the traditional quantum computing.O desenvolvimento de algoritmos quânticos esbarra em algumas dificuldades, tais como a falta de um computador quântico de propósito geral, uma linguagem ou formalismo específico, ou o alto consumo de recursos computacionais quando trata-se de simulação de algoritmos quânticos em computadores clássicos. Este trabalho apresenta o desenvolvimento da biblioteca MQS (Modal Quantum Simulation), um modelo de computação quântica escrita em Haskell capaz de desenvolver a implementação de algoritmos considerando a Teoria Quântica Modal. Essa teoria tem como atrativo a substituição de amplitudes de probabilidade complexas por campos finitos. Ou seja, uma teoria simplificada se comparada com a computação quântica convencional, mas que mantém muito da estrutura da computação quântica tradicional