Quipper.Algorithms.QLS.TemplateOracle

This module contains an implementation of the oracle and its automatic lifting to quantum circuits using Template Haskell.

Documentation

local_any :: (a -> Bool) -> [a] -> Bool

Lifted version of any (local version).

template_local_any :: Circ ((t -> Circ Qubit) -> Circ ([t] -> Circ Qubit))

itoxy :: Int -> Int -> Int -> (Int, Int)

Auxiliary function.

template_itoxy :: Circ (QSignedInt -> Circ (QSignedInt -> Circ (QSignedInt -> Circ (QSignedInt, QSignedInt))))

sinc :: Double -> Double

The function sin x / x.

template_sinc :: Circ (QDouble -> Circ QDouble)

edgetoxy :: Int -> Int -> Int -> (Double, Double)

Auxiliary function.

template_edgetoxy :: Circ (QSignedInt -> Circ (QSignedInt -> Circ (QSignedInt -> Circ (QDouble, QDouble))))

calcmatrixelement :: Int -> Int -> Int -> Int -> Double -> Double -> Double -> Complex Double

Auxiliary function. The inputs are:

• y1 :: Int - Global edge index of row index of desired matrix element;
• y2 :: Int - Global edge index of column index of desired matrix element;
• nx :: Int - Number of vertices left to right;
• ny :: Int - Number of vertices top to bottom;
• lx :: Double - Length of horizontal edges (distance between vertices in x direction);
• ly :: Double - Length of vertical edges (distance between vertices in y direction);
• k :: Double - Plane wave wavenumber.

The output is the matrix element A(y1, y2).

template_calcmatrixelement :: Circ (QSignedInt -> Circ (QSignedInt -> Circ (QSignedInt -> Circ (QSignedInt -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble, QDouble))))))))

get_edges :: [a] -> [(a, a)]

Auxiliary function.

template_get_edges :: Circ ([a] -> Circ [(a, a)])

checkedge :: Int -> [(Double, Double)] -> Int -> Int -> Bool

Auxiliary function.

template_checkedge :: Circ (QSignedInt -> Circ ([(QDouble, QDouble)] -> Circ (QSignedInt -> Circ (QSignedInt -> Circ Qubit))))

calcRweights :: Int -> Int -> Int -> Double -> Double -> Double -> Double -> Double -> Complex Double

Oracle r.

template_calcRweights :: Circ (QSignedInt -> Circ (QSignedInt -> Circ (QSignedInt -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble, QDouble)))))))))

convertband :: Int -> Int -> Int -> Int -> Int

Auxiliary function for oracle A.

template_convertband :: (Eq a, Num a) => Circ (QSignedInt -> Circ (a -> Circ (QSignedInt -> Circ (QSignedInt -> Circ QSignedInt))))

getNodeValuesMoreOutputs :: Int -> Int -> Int -> Int -> [(Double, Double)] -> Double -> Double -> Double -> BoolParam -> Int -> (Int, Double)

Oracle A. It is equivalent to the Matlab function getBandNodeValues.

getNodeValuesMoreOutputs v b ... outputs the node of the edge connected to vertex v in band b, and a real number parameterized by the BoolParam parameter: the magnitude (PFalse) or the phase (PTrue) of the complex value at the corresponding place in the matrix A.

template_getNodeValuesMoreOutputs :: Circ (QSignedInt -> Circ (Int -> Circ (QSignedInt -> Circ (QSignedInt -> Circ ([(QDouble, QDouble)] -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (BoolParam -> Circ (Int -> Circ (QSignedInt, QDouble)))))))))))

calcincidentfield :: Int -> Int -> Int -> Double -> Double -> Double -> Double -> Double -> Complex Double

Auxiliary function for oracle b. The inputs are:

• y :: Int - Global edge index. Note this is the unmarked y coordinate, i.e. the coordinate without scattering regions removed;
• nx :: Int - Number of vertices left to right;
• ny :: Int - Number of vertices top to bottom;
• lx :: Double - Length of horizontal edges (distance between vertices in x direction);
• ly :: Double - Length of vertical edges (distance between vertices in y direction);
• k :: Double - Plane wave wavenumber;
• θ :: Double - Direction of wave propagation;
• E0 :: Double - Magnitude of incident plane wave.

The output is the magnitude of the electric field on edge y.

template_calcincidentfield :: Circ (QSignedInt -> Circ (QSignedInt -> Circ (QSignedInt -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble, QDouble)))))))))

getconnection :: Int -> Int -> Int -> Int -> Int -> Int

Auxiliary function for oracle b.

template_getconnection :: Circ (QSignedInt -> Circ (Int -> Circ (QSignedInt -> Circ (QSignedInt -> Circ (Int -> Circ QSignedInt)))))

local_loop_with_index_aux :: Int -> Int -> t -> (Int -> t -> t) -> t

Auxiliary function to template_paramZero.

template_local_loop_with_index_aux :: Circ (Int -> Circ (Int -> Circ (t -> Circ ((Int -> Circ (t -> Circ t)) -> Circ t))))

local_loop_with_index :: Int -> t -> (Int -> t -> t) -> t

Local version of loop_with_index, for lifting.

template_local_loop_with_index :: Circ (Int -> Circ (y -> Circ ((Int -> Circ (y -> Circ y)) -> Circ y)))

getKnownWeights :: Int -> Int -> Int -> [(Double, Double)] -> Double -> Double -> Double -> Double -> Double -> Int -> Complex Double

Oracle b.

template_getKnownWeights :: Circ (QSignedInt -> Circ (QSignedInt -> Circ (QSignedInt -> Circ ([(QDouble, QDouble)] -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (QDouble -> Circ (Int -> Circ (QDouble, QDouble)))))))))))

test_template_sinc :: Circ ()

test_template_itoxy :: Circ ()

test_template_edgetoxy :: Circ ()

test_template_calcRweights :: Circ ()

test_template_calcincidentfield :: Circ ()

test_template_calcmatrixelement :: Circ ()

test_template_getconnection :: Circ ()

test_template_checkedge :: Circ ()