Skip to content
Microsoft Quantum

Magic state distillation with low space overhead and optimal asymptotic input count 

  In our quest for topological quantum computing with Majorana zero modes, one missing piece is the efficient, high-quality creation of magic states to perform the π/8 (or “T” gate). Our new paper, Magic State Distillation with Low Space Overhead and Optimal Asymptotic Input Count, provides a family of solutions to this need, allowing for a wide range...

Read more

Design automation and design space exploration for quantum computers 

  A major hurdle for quantum algorithms for linear systems of equations, and for quantum simulation algorithms, is the difficulty to find simple circuits for arithmetic. Prior approaches typically led to a large overhead in terms of quantum memory, required operations, or implementation error. By leveraging recent advances in reversible logic synthesis, Martin Roetteler and...

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