QIO.Qft

This module provides an implementation of the Quantum Fourier Transform in QIO.

Documentation

qft :: [Qbit] -> U

Defines the unitary the represents appliying a Quantum Fourier Transform to the given quantum register.

qftAcu :: [Qbit] -> [Bool] -> [Bool] -> U

The definition of the QFT unitary makes use of an accumulator, to repeatedly apply smaller QFTs to the tail of the given quantum register.

qftBase :: [Bool] -> Qbit -> U

The "base" step involved in a QFT is a series of controlled rotations.

rotK :: Int -> Qbit -> U

The rotation used in the QFT is a phase rotation, parameterised by the angle 1/(2^k)

tryQft :: Int -> QIO Int

A test of the QFT unitary, over a quantum integer initialised to n.