Language-Integrated Quantum Operations: LIQUi|>

Language-Integrated Quantum Operations: LIQUi|>

Established: March 9, 2016

Microsoft's New Quantum Simulator LIQUiI>LIQUi|> is a software architecture and toolsuite for quantum computing. It includes a programming language, optimization and scheduling algorithms, and quantum simulators. LIQUi|> can be used to translate a quantum algorithm written in the form of a high-level program into the low-level machine instructions for a quantum device. LIQUi|> is being developed by the Quantum Architectures and Computation Group (QuArC) at Microsoft Research.

About LIQUi|>

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|>. 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.

LIQUi|> can 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. The toolkit includes a compiler, optimizers, translators, various simulators and a host of examples. The complete platform is freely available on GitHub >

What LIQUi|> can do

You can use LIQUi|> to define quantum circuits, render them into a variety of graphical formats, and execute them using an appropriate simulator. Some of the specific algorithms you can simulate with LIQUi|> are:

  • Simple quantum teleportation
  • Shor’s factoring algorithm
  • Quantum chemistry: computing the ground state energy of a molecule
  • Quantum error correction
  • Quantum associative memory (Ventura and Martinez)
  • Quantum linear algebra (Harrow, Hassidim, and Lloyd)

All of these algorithms, and many more, are included as samples with LIQUi|>.

Microsoft Quantum Challenge

Students worldwide devised real-world problems and came up with running solutions using the software simulator for LIQUi|>, in the first Quantum Computing Challenge >

Stay informed

To be notified of updates and other announcements, sign up on our listserv at:

Subject: Subscribe
SUB liquid-news FirstName LastName

Or, to subscribe anonymously:
SUB liquid-news anonymous

Contact us













Recent Events

Members of the LIQUi|> team were at these events: