Operations.QuantumOperations

• Module : Operations.QuantumOperations
• Description : Quantum Operations
• Copyright : (c) Mihai Sebastian Ardelean, 2018
• License : BSD3
• Maintainer : [e-mail]
• Portability : POSIX

Documentation

class QubitOperations a where

Class QubitOperations used to define common operations that can be made with Qubit

Minimal complete definition

entangle, (|>), (|><|), (*)

Methods

entangle :: a -> a -> a

• entangle function is used to perform the Kronecker product between two qubits.

>>> entangle qZero qOne
(4><1)
  [ 0.0 :+ 0.0
  , 1.0 :+ 0.0
  , 0.0 :+ 0.0
  , 0.0 :+ 0.0 ]

(|>) :: a -> Gate -> a

• |> function is used to apply a gate on a qubit

>>> qZero |> hGate
(2><1)
  [ 0.7071067811865475 :+ 0.0
  , 0.7071067811865475 :+ 0.0 ]

(|><|) :: a -> a -> Gate

• |><| function represents the outer product.

>>> qZero |><| qZero
(2><2)
  [ 1.0 :+ 0.0, 0.0 :+ 0.0
  , 0.0 :+ 0.0, 0.0 :+ 0.0 ]

(*) :: a -> Complex Double -> a

• mul function is used to multiply the states with a constant.

>>> qZero * 5
(2><1)
  [ 5.0 :+ 0.0, 0.0 :+ 0.0
  , 0.0 :+ 0.0, 0.0 :+ 0.0 ]

Instances

QubitOperations Qubit

QubitOperations instance for Qubit

Methods

entangle :: Qubit -> Qubit -> Qubit

(|>) :: Qubit -> Gate -> Qubit

(|><|) :: Qubit -> Qubit -> Gate

(*) :: Qubit -> Complex Double -> Qubit

class GateOperations a where

Class GateOperations used to define common operations that can be made with Gate

Minimal complete definition

(<*>)

Methods

(<*>) :: a -> a -> a

• Kronecker product operator is used to create gates that can be used on multiple qubits

>>> hGate <*> hGate
(4><4)
[ 0.4999999999999999 :+ 0.0,    0.4999999999999999 :+ 0.0,    0.4999999999999999 :+ 0.0,    0.4999999999999999 :+ 0.0
, 0.4999999999999999 :+ 0.0, (-0.4999999999999999) :+ 0.0,    0.4999999999999999 :+ 0.0, (-0.4999999999999999) :+ 0.0
, 0.4999999999999999 :+ 0.0,    0.4999999999999999 :+ 0.0, (-0.4999999999999999) :+ 0.0, (-0.4999999999999999) :+ 0.0
, 0.4999999999999999 :+ 0.0, (-0.4999999999999999) :+ 0.0, (-0.4999999999999999) :+ 0.0,    0.4999999999999999 :+ 0.0 ]}

Instances

GateOperations Gate

GateOperations instance for Gate

Methods

(<*>) :: Gate -> Gate -> Gate