Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Language-Integrated Quantum Operations: LIQUi|>
Language-Integrated Quantum Operations: LIQUi|>

LIQUi|> is a software architecture and toolsuite for quantum computing. It is 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 developed by the Quantum Architectures and Computation Group (QuArC) at Microsoft Research.

About LIQUi|>

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

LIQUi|> is being developed by the Quantum Architectures and Computation Group (QuArC).

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:

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

How to get LIQUi|>

LIQUi|> is available via GitHub at http://stationq.github.io/Liquid/ . To be notified of updates and other announcements, sign up on our listserv at:

To: listserv@lists.research.microsoft.com
Subject
: Subscribe
SUB liquid-news FirstName LastName

Or, to subscribe anonymously:
SUB liquid-news anonymous

Short Videos Introducing QuArC and LIQUi|>
StationQ_Overview
StationQ_Overview
Dave Wecker and Krysta Svore
00:03:07 · 22 February 2016
LIQUi|> Simulator History
LIQUi|> Simulator History
Dave Wecker
00:03:10 · 22 February 2016
LIQUi|> - Quantum Simulation QuickStart
LIQUi|> - Quantum Simulation QuickStart
Dave Wecker
00:03:53 · 22 February 2016
The Quantum Challenge
The Quantum Challenge
Dave Wecker and Krysta Svore
00:01:31 · 22 February 2016
LIQUi|> Quantum Error Correction
LIQUi|> Quantum Error Correction
00:02:27 · 15 February 2016
LIQUi|> Simulation Optimization
LIQUi|> Simulation Optimization
Dave Wecker
00:03:37 · 22 February 2016
LIQUi|> Quantum Chemistry
LIQUi|> Quantum Chemistry
Dave Wecker
00:03:36 · 22 February 2016
Presentations on LIQUi|>
Language-Integrated Quantum Operations:A Software Architecture for Quantum Computing
Language-Integrated Quantum Operations:A Software Architecture for Quantum Computing
Dave Wecker
00:57:46 · 30 April 2013
Language-Integrated Quantum Operations (LIQUi|>) Tutorial
Language-Integrated Quantum Operations (LIQUi|>) Tutorial
Dave Wecker
00:45:43 · 5 November 2015
Publications

Recent events

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

 

Last updated April 28, 2016