README
U
Channel
U
Circuit
U
Complex
U
Effect
U
ExecutionResult
U
ExecutionStatus
U
ExperimentResult
U
Gate
U
Instruction
U
Operation
U
Program
U
Qid
U
QuantumError
U
QubitId
U
QuditId
U
ResultData
U
ResultError
U
ResultValue
U
SamplerResult
U
StateVector
U
StateVectorSimulator
U
UnitaryKernel
V
cnot
V
h
V
i
V
measure
V
phase
V
rx
V
ry
V
rz
V
s
V
t
V
x
V
y
V
z

mqc

Quantum computing library for MoonBit.

quantum

qubits

quantum-simulation

state-vector

quantum-computing

Download zip

Author

Arcelyth

Version

0.1.1

License

MIT

Repository

github.com/Arcelyth/mqc

Last updated

15 hours ago

Downloads

No dependencies

#MQC

Quantum computing library for MoonBit.

#Getting Started

Installation:

moon add Arcelyth/mqc

See examples here.

Channel

source

using @Arcelyth/mqc/circuit { type Channel }

Circuit

source

using @Arcelyth/mqc/circuit { type Circuit }

Represent a quantum circuit which shares the operation sequence.

Complex

source

using @Arcelyth/mqc/maths { type Complex }

A complex number. Components are immutable.

Effect

source

using @Arcelyth/mqc/circuit { trait Effect }

A quantum action on an ordered local wire shape such as Gate, Channel, and Program.

An effect describes an operation independently of the physical wires it is applied to. Its local wire indices are mapped onto the enclosing operation's target wires when it is added to a program or circuit.

ExecutionResult

source

using @Arcelyth/mqc/simulator/result { type ExecutionResult }

A backend's result for one or more experiments, in submission order.

ExecutionStatus

source

using @Arcelyth/mqc/simulator/result { type ExecutionStatus }

Completion of one experiment or a whole batch.

ExperimentResult

source

using @Arcelyth/mqc/simulator/result { type ExperimentResult }

One execution's result.

Gate

source

using @Arcelyth/mqc/circuit { type Gate }

An immutable unitary effect.

Instruction

source

using @Arcelyth/mqc/circuit { type Instruction }

A checked binding to ordered local wire indices.

Operation

source

using @Arcelyth/mqc/circuit { type Operation }

An effect bound to distinct, ordered quantum IDs.

Program

source

using @Arcelyth/mqc/circuit { type Program }

Qid

source

using @Arcelyth/mqc/circuit { trait Qid }

Identifies a quantum object. Equal IDs must have the same, fixed dimension. Dimensions must be at least two.

QuantumError

source

using @Arcelyth/mqc/circuit { type QuantumError }

QubitId

source

using @Arcelyth/mqc/circuit { type QubitId }

A logical qubit ID with no device position.

QuditId

source

using @Arcelyth/mqc/circuit { type QuditId }

Identifies a qudit, a quantum system with a finite-dimensional state space. The levels field specifies the dimension of its local Hilbert space.

ResultData

source

using @Arcelyth/mqc/simulator/result_data { type ResultData }

Named output data from one experiment. Only requested outputs are stored.

ResultError

source

using @Arcelyth/mqc/simulator/result { type ResultError }

ResultValue

source

using @Arcelyth/mqc/simulator/result_data { trait ResultValue }

SamplerResult

source

using @Arcelyth/mqc/simulator { type SamplerResult }

StateVector

source

using @Arcelyth/mqc/simulator/result_data { type StateVector }

A quantum state represented by a complex state vector.

For example, a two-qubit state |ψ⟩ = (|00⟩ + |11⟩) / √2:

shape = [2, 2] re = [1/√2, 0, 0, 1/√2] im = [0, 0, 0, 0]

The entries are stored in basis-state order: |00⟩, |01⟩, |10⟩, |11⟩.

StateVectorSimulator

source

using @Arcelyth/mqc/simulator { type StateVectorSimulator }

UnitaryKernel

source

using @Arcelyth/mqc/circuit { trait UnitaryKernel }

A pure, linear, unitary map on a local state vector.

cnot

source

#alias(cx)
fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] cnot(control : Q, target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

h

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] h(target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

i

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] i(target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

measure

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] measure(targets : Array[Q], key? : String) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

phase

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] phase(angle : Double, target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

rx

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] rx(angle : Double, target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

ry

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] ry(angle : Double, target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

rz

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] rz(angle : Double, target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

s

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] s(target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

t

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] t(target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

x

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] x(target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

y

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] y(target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

z

source

fn[Q : @Arcelyth/mqc/circuit.Qid
Qid + Eq + Hash] z(target : Q) -> @Arcelyth/mqc/circuit.Operation
Operation[Q] raise @Arcelyth/mqc/circuit.QuantumError
QuantumError

Source Files

Install

Download zip

Quantum computing library for MoonBit.

quantumqubitsquantum-simulationstate-vectorquantum-computing

Arcelyth

MIT

github.com/Arcelyth/mqc

Updated 15 hours ago

8 downloads

mqc

#MQC

#Getting Started

#Channel

#Circuit

#Complex

#Effect

#ExecutionResult

#ExecutionStatus

#ExperimentResult

#Gate

#Instruction

#Operation

#Program

#Qid

#QuantumError

#QubitId

#QuditId

#ResultData

#ResultError

#ResultValue

#SamplerResult

#StateVector

#StateVectorSimulator

#UnitaryKernel

#cnot

#h

#i

#measure

#phase

#rx

#ry

#rz

#s

#t

#x

#y

#z

Source Files

Channel

Circuit

Complex

Effect

ExecutionResult

ExecutionStatus

ExperimentResult

Gate

Instruction

Operation

Program

Qid

QuantumError

QubitId

QuditId

ResultData

ResultError

ResultValue

SamplerResult

StateVector

StateVectorSimulator

UnitaryKernel

cnot

h

i

measure

phase

rx

ry

rz

s

t

x

y

z