LIQUi|> (pronounced "liquid") is a software platform for quantum computing.
To aid in the development and understanding of quantum protocols, quantum algorithms, quantum error correction, and quantum devices, QuArC has developed an extensive software platform called LIQUi|> (“Language-Integrated Quantum Operations”). LIQUi|> allows the simulation of Hamiltonians, quantum circuits, quantum stabilizer circuits, and quantum noise models, and supports Client, Service, and Cloud operation. It allows the user to express circuits in a high-level functional language (F#), and supports the extraction of circuit data structures that can be passed to other components for circuit optimization, quantum error correction, gate replacement, export or rendering. The system is architected to be fully modular to permit easy extension as desired.
LIQUi|> includes state-of-the-art circuit simulation of up to 30 qubits on a single machine with 32 GB RAM, limited only by memory and computing threads. The largest number factored to date on the simulator is a 13-bit number, which required 27 qubits, half a million gates, and 5 days runtime. The circuit was based on Beauregard’s circuit for Shor’s algorithm.
Ultimately, LIQUi|> will be used to translate a quantum algorithm written in the form of a high-level program into low-level machine instructions for a quantum device. It will include compilers, optimizers, translators, and various simulators.
LIQUi|> is being developed by the Quantum Architectures and Computation Group (QuArC).
- Dave Wecker and Krysta M. Svore, LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing, February 2014.