org.soulspace.qclojure.domain.operation-registry — org.soulspace/qclojure 0.3.0

Operation registry and catalog for quantum backends.

This namespace provides a comprehensive catalog of operations, quantum gates and measurements, that can be supported by different quantum backends. Backends can reference this registry to declare their supported operation sets.

basic-gate-set clj

Basic gate set with common single and two-qubit gates.

braket-ionq-gates clj

Native gates for IonQ devices on Amazon Braket

braket-rigetti-gates clj

Native gates for Rigetti devices on Amazon Braket

braket-simulator-gates clj

Gates supported by Braket simulators

decompose-circuit-for-hardware clj

(decompose-circuit-for-hardware circuit target-gates)

Decompose a quantum circuit for specific hardware.

Parameters:

• circuit: Vector of [gate-name & params] operations
• target-gates: Set of native gates for target hardware or keyword

Returns: Decomposed circuit or throws if decomposition impossible

expand-gate-set clj

(expand-gate-set gate-set)

Expand a gate set to include all decomposition dependencies.

This function takes a set of gates and recursively adds all gates that are needed to implement them through decomposition.

Parameters:

• gate-set: Set of gate keywords

Returns: Expanded set including all dependencies

gate-aliases clj

Map of gate aliases to their canonical names.

This allows backends and users to reference gates by common alternative names. All aliases resolve to the canonical gate name used in the gate catalog.

get-decomposition-for-target clj

(get-decomposition-for-target gate-name target-set & [params])

Get decomposition for a specific target gate set.

Parameters:

• gate-name: Gate to decompose
• target-set: Target hardware gate set keyword or set of gates
• params: Optional parameters for parametric gates

Returns: Vector of decomposed gates or nil if not possible

get-gate-dependencies clj

(get-gate-dependencies gate-name)

Get the decomposition dependencies for a gate.

Parameters:

• gate-name: Keyword identifying the gate

Returns: Vector of gate names this gate decomposes into, or empty if native

get-gate-info clj

(get-gate-info gate-name)

Get detailed information about a specific gate.

Parameters:

• gate-name: Keyword identifying the gate (aliases supported)

Returns: Gate definition map or nil if not found

get-gate-info-with-alias clj

(get-gate-info-with-alias gate-name)

Get gate information, resolving aliases first.

Parameters:

• gate-name: Keyword identifying the gate (may be an alias)

Returns: Gate definition map or nil if not found

Example: (get-gate-info-with-alias :not) ;=> Returns X gate info (get-gate-info-with-alias :phase-flip) ;=> Returns Z gate info

get-gates-by-type clj

(get-gates-by-type gate-type)

Get all gates of a specific type.

Parameters:

• gate-type: One of :single-qubit, :two-qubit, :multi-qubit, :parametric

Returns: Set of gate names

get-native-gates-for-hardware clj

(get-native-gates-for-hardware hardware-key)

Get native gates for a specific hardware platform.

Parameters:

• hardware-key: Keyword identifying the hardware platform

Returns: Set of gate names native to that hardware, or nil if unknown

Example: (get-native-gates-for-hardware :braket-ionq) ;=> #{:rx :ry :rz :cnot}

minimal-native-set-for-hardware clj

(minimal-native-set-for-hardware gate-set hardware-key)

Find the minimal set of native gates needed to implement a gate set on specific hardware.

Parameters:

• gate-set: Set of gate keywords
• hardware-key: Keyword identifying the target hardware platform

Returns: Minimal set of native gates needed for that hardware, or empty set if hardware unknown

Example: (minimal-native-set-for-hardware #{:x :y :z} :braket-ionq) ;=> #{:rx :ry :rz}

native-simulator-gates clj

Gates typically supported natively by quantum simulators.

normalize-gate-set clj

(normalize-gate-set gate-set)

Normalize a gate set by resolving all aliases to canonical names.

Parameters:

• gate-set: Set of gate keywords (may include aliases)

Returns: Set with all aliases resolved to canonical names

Example: (normalize-gate-set #{:not :phase-flip :h}) ;=> #{:x :z :h}

operation-catalog clj

Complete catalog of operations with their properties. Operations can be gates or measurements, with various types and parameters.

operation-kinds clj

Set of operation kinds.

operation-params clj

Set of operation parameters.

operation-types clj

Set of operation types.

parametric-gate-set clj

Gate set with parametric rotations.

resolve-gate-alias clj

(resolve-gate-alias gate-name)

Resolve a gate name through any aliases.

Parameters:

• gate-name: Keyword that might be an alias

Returns: Canonical gate name

Example: (resolve-gate-alias :not) ;=> :x (resolve-gate-alias :phase-flip) ;=> :z (resolve-gate-alias :h) ;=> :h (no alias)

superconducting-hardware-gates clj

Typical gate set for superconducting quantum processors.

trapped-ion-hardware-gates clj

Typical gate set for trapped ion quantum processors.

universal-gate-set clj

Universal gate set sufficient for any quantum computation.

validate-gate-set clj

(validate-gate-set gate-set)

Validate a gate set, resolving aliases first.

Parameters:

• gate-set: Set of gate keywords (may include aliases)

Returns: True if all gates are known (after alias resolution)

Example: (validate-gate-set #{:not :phase-flip :h}) ;=> true