Selene

Overview

Selene is an framework to run and verify Guppylang programs. It can be installed for local consumption on Windows, Linux and macOS as a local package called selene-sim. Alternatively, user can access cloud-hosted instances of Selene via the Nexus python client. Selene provides capability to:

  • run Guppy programs;

  • debug Guppy programs;

  • provide resource estimates.

Install

Selene is available as a public PyPI package, called selene-sim.

pip install selene-sim

Plugin Architecture

Selene enables emulation of Quantinuum Systems. These are also extensible components.

  1. Runtime;

  2. Error Model;

  3. Simulator.

Simulation

Selene can use the following simulators:

  • state-vector (QuEST)

  • stabilizer (stim).

  • Coinflip: performs no quantum operations but flips an unbiased coin for each measurement operation.

  • Classical Replay: The user submits the program to debug and a nested list of measurement results. The supplied measurements will be used to traverse the conditional branches in the user’s program. Quantum gate operations will not be applied on the state.

  • Quantum Replay: The user submits the program to debug and a nested list of measurement results. The supplied measurements will be used to traverse the conditional branches in the user’s program and quantum gate operations will be performed appropriately.

Verification

Selene provides an experimental replay simulator to identify, isolate, and fix errors (bugs) in guppy programs. The goal of replay simulation is to ensure that the program branch correctly, producing the expected results and behaving as intended. Selene users can also extract simulation logs which provides information on metrics