The Quipper System

Safe HaskellNone

Quipper.Algorithms.QLS.TemplateOracle

Description

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

Synopsis

Documentation

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

Lifted version of any (local version).

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

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

Auxiliary function.

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

sinc :: Double -> Double Source #

The function sin x / x.

template_sinc :: Circ (QDouble -> Circ QDouble) Source #

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

Auxiliary function.

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

calcmatrixelement :: Int -> Int -> Int -> Int -> Double -> Double -> Double -> Complex Double Source #

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)))))))) Source #

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

Auxiliary function.

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

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

Auxiliary function.

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

calcRweights :: Int -> Int -> Int -> Double -> Double -> Double -> Double -> Double -> Complex Double Source #

Oracle r.

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

convertband :: Int -> Int -> Int -> Int -> Int Source #

Auxiliary function for oracle A.

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

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

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))))))))))) Source #

calcincidentfield :: Int -> Int -> Int -> Double -> Double -> Double -> Double -> Double -> Complex Double Source #

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))))))))) Source #

getconnection :: Int -> Int -> Int -> Int -> Int -> Int Source #

Auxiliary function for oracle b.

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

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

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)))) Source #

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

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))) Source #

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

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))))))))))) Source #

test_template_sinc :: Circ () Source #

test_template_itoxy :: Circ () Source #

test_template_edgetoxy :: Circ () Source #

test_template_calcRweights :: Circ () Source #

test_template_calcincidentfield :: Circ () Source #

test_template_calcmatrixelement :: Circ () Source #

test_template_getconnection :: Circ () Source #

test_template_checkedge :: Circ () Source #