Microsoft Technology Licensing, LLC

Mathias Soeken

Martin Henri Roetteler

Krysta Marie Svore

Thomas Haener

This application concerns quantum computing devices and, more specifically, techniques for compiling a high-level description of a quantum program to be implemented in a quantum-computing device into a lower-level program that is executable by a quantum-computing device, where the high-level description of the quantum program to be implemented in a quantum-computing device supports at least one of loops and/or branches.

Using compiler optimization to enable automatic generation of combinational circuits from high-level programs

A method for performing a quantum-logic operation on a quantum computer. The method includes enacting classical pebbling on an initial computation graph G defining the quantum-logic operation; extracting a quantum circuit B based on a sequence of steps obtained from the classical pebbling, that sequence including at least one computation step and at least one measurement-based uncomputation step; executing the quantum circuit B on a qubit register of the quantum computer; recording at least one measurement result of the at least one measurement-based uncomputation step of the quantum circuit B as executed on the qubit register; constructing a clean-up computation graph G' based on the at least one measurement result; enacting reversible pebbling on the clean-up computation graph G&#x2032;; extracting a quantum circuit B&#x2032; based on a sequence of steps obtained from the reversible pebbling, that sequence including computation and uncomputation steps; and executing the quantum circuit B&#x2032; on the qubit register.

Growing community of inventors

Montreux, Switzerland

Mathias Soeken