QUANTUM PROCESSOR PROBLEM COMPILATION

摘要

Solution of a problem of determining values of a set of N problem variables x, makes use of a quantum processor that has a limited number of hardware elements for representing quantum bits and/or limitations on coupling between quantum bits. A method includes accepting a specification of the problem that includes a specification of a set of terms where each term corresponds to a product of at least three variables and is associated with a non-zero coefficient. A set of ancilla variables, each ancilla variable corresponding to a pair of problem variables, is determined by applying an optimization procedure to the specification of the set of the terms. The accepted problem specification is then transformed according to the determined ancilla variables to form a modified problem specification for use in configuring the quantum processor and solution of problem.

主权项

1. A method for use in solution of a problem of determining values of a set of problem variables by a quantum processor that has limitations on coupling between hardware elements representing quantum bits, the method comprising:
accepting a specification of the problem that includes a specification of a set of terms where each of at least some of the terms corresponds to a product of at least three problem variables and is associated with a non-zero coefficient; selecting a plurality of tuples of problem variables, each tuple of problem variables corresponding to a set of one or more ancilla variables, the selecting including applying an optimization procedure to the specification of the set of the terms to determine the selected tuples of problem variables, and the optimization procedure using an optimality criterion based at least in part on the limitations on coupling between hardware elements including a limitation on a precision of said coupling; and transforming the accepted problem specification according to the selected tuples of problem variables to form a modified problem specification for use in configuring the quantum processor and solution of problem, the modified problem specification including terms where each term corresponds to a product of a problem variable to the accepted problem specification and an ancilla variable corresponding to a tuple of problem variables of the accepted problem specification.