Skip to content
Microsoft Quantum

Verified compilation of space-efficient reversible circuits 

  Generation of reversible circuits from high-level code is an important problem in the compilation flow of quantum algorithms to lower-level hardware. The instantiation of quantum oracles in particular will require mapping classical circuits to a reversible implementation. Existing tools compile and optimize reversible circuits for various metrics, such as the overall circuit size or the...Read more

Training a quantum optimizer 

  In this paper, published in Physical Review A, we show how to greatly improve success at solving Constraint Satisfaction Problems on a quantum computer by using a learned schedule, instead of the standard linear ramps. The technique actually improves as the problem gets larger and more difficult, allowing classical machines to learn optimizations that...Read more

Direct from the 2016 Quantum Retreat in Redmond 

  The 2016 QRetreat took place on Microsoft’s Redmond campus on April 28 and 29, 2016. QRetreat is an annual meeting of the Station Q Santa Barbara and Station Q Redmond teams. The goals of the meeting are to update each other on the recent research in an informal atmosphere and discuss current projects. This...Read more

LIQUi| for quantum computing 

  LIQUi|> is a software architecture and tool suite 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 developed by the...Read more