Described herein are methods, systems, and media for setting a system of superconducting qubits having a Hamiltonian representative of a polynomial on a bounded integer domain via bounded-coefficient encoding. The method comprises: obtaining the polynomial on the bounded integer domain and integer encoding parameters; computing bounded-coefficient encoding using the integer encoding parameters; recasting each integer variable as a linear function of binary variables using the bounded-coefficient encoding, and providing additional constraints on the attained binary variables to avoid degeneracy in the encoding; substituting each integer variable with an equivalent binary representation, and computing the coefficients of the equivalent binary representation of the polynomial on the bounded integer domain; performing a degree reduction on the obtained equivalent binary representation of the polynomial to provide an equivalent polynomial of degree at most two in binary variables; using which, setting local field biases and coupling strengths on the system of superconducting qubits.
Please help me write a proper abstract based on the patent claims. CLAIM: 1. A method for using one or more computer processors of a digital computer to generate an equivalent of a polynomial programming problem on a bounded integer domain via bounded-coefficient encoding for efficiently solving the polynomial programming problem using a quantum computing system of superconducting qubits, the method comprising: (a) using the one or more computer processors of the digital computer to obtain (i) a polynomial on the bounded integer domain and (ii) integer encoding parameters; (b) computing the bounded-coefficient encoding using the integer encoding parameters; (c) using the one or more computer processors to transform each integer variable of the polynomial to a linear function of binary variables using the bounded-coefficient encoding, and providing additional constraints on the binary variables to avoid degeneracy in the bounded-coefficient encoding, if required by a user; (d) substituting each integer variable of the polynomial with an equivalent binary representation, and computing coefficients of an equivalent binary representation of the polynomial on the bounded integer domain; (e) performing a degree reduction on the equivalent binary representation of the polynomial on the bounded integer domain to generate an equivalent polynomial of a degree of at most two in binary variables; and (f) setting local field biases and coupling strengths on the quantum computing system of superconducting qubits using the coefficients of the equivalent polynomial of the degree of at most two in binary variables to generate a Hamiltonian representative of the polynomial on the bounded integer domain, which Hamiltonian is usable by the quantum computing system of superconducting qubits to solve the polynomial programming problem. 2. The method of claim 1, wherein the polynomial on the bounded integer domain is a single bounded integer variable. 3. The method of claim 2, wherein (f) comprises assigning to a plurality of qubits a plurality of corresponding local field biases; wherein each local field bias corresponding to each of the qubits in the plurality of qubits is provided using the parameters of the integer encoding. 4. The method of claim 1, wherein the polynomial on the bounded integer domain is a linear function of several bounded integer variables. 5. The method of claim 4, wherein (f) comprises assigning to a plurality of qubits a plurality of corresponding local field biases; wherein each local field bias corresponding to each of the qubits in the plurality of qubits is provided using the linear function and the parameters of the integer encoding. 6. The method of claim 1, wherein the polynomial on the bounded integer domain is a quadratic polynomial of several bounded integer variables. 7. The method of claim 6, wherein (f) comprises embedding the equivalent binary representation of the polynomial of the degree of at most two on the bounded integer domain to a layout of the quantum computing system of superconducting qubits comprising local fields on each of the plurality of the superconducting qubits and couplings in a plurality of pairs of the plurality of the superconducting qubits. 8. The method of claim 1, wherein the quantum computing system of superconducting qubits is a quantum annealer. 9. The method of claim 8, further comprising performing an optimization of the polynomial on the bounded integer domain via bounded-coefficient encoding. 10. The method of claim 9, wherein the optimization of the polynomial on the bounded integer domain via bounded-coefficient encoding is performed by quantum adiabatic evolution of an initial transverse field on the superconducting qubits to a final Hamiltonian representative of the polynomial on the bounded integer domain on a measurable axis. 11. The method of claim 9, wherein the optimization of the polynomial on the bounded integer domain via bounded-coefficient encoding comprises: (a) providing the equivalent polynomial of the degree of at most two in binary variables; (b) providing a quantum computing system of non-degeneracy constraints; and (c) solving a problem of optimization of the equivalent polynomial of the degree of at most two in binary variables subject to the quantum computing system of non-degeneracy constraints as a binary polynomially constrained polynomial programming problem. 12. The method of claim 1, further comprising solving a polynomially constrained polynomial programming problem on a bounded integer domain via bounded-coefficient encoding. 13. The method of claim 12, wherein solving the polynomially constrained polynomial programming problem on the bounded integer domain via bounded-coefficient encoding is performed by quantum adiabatic evolution of an initial transverse field on the superconducting qubits to a final Hamiltonian representative of the polynomial on the bounded integer domain on a measurable axis. 14. The method of claim 12, wherein solving the polynomially constrained polynomial programming problem on the bounded integer domain via bounded-coefficient encoding comprises: (a) computing the bounded-coefficient encoding of an objective function and a set of constraints of the polynomially constrained polynomial programming problem using the integer encoding parameters to obtain an equivalent polynomially constrained polynomial programming problem in binary variables; (b) providing a quantum computing system of non-degeneracy constraints; (c) adding the quantum computing system of non-degeneracy constraints to a set of constraints of the equivalent polynomially constrained polynomial programming problem in binary variables; and (d) solving a problem of optimization of the equivalent polynomially constrained polynomial programming problem in binary variables. 15. The method of claim 1, wherein the obtaining of the integer encoding parameters comprises obtaining an upper bound on coefficients of the bounded-coefficient encoding directly. 16. The method of claim 1, wherein obtaining the integer encoding parameters comprises obtaining an upper bound on coefficients of the bounded-coefficient encoding based on error tolerances ∈l and ∈c of local field biases and coupling strengths, respectively, of the quantum computing system of superconducting qubits. 17. The method of claim 16, wherein obtaining the upper bound on the coefficients of the bounded-coefficient encoding comprises determining a feasible solution to a quantum computing system of inequality constraints. 18. A system for generating an equivalent of a polynomial programming problem on a bounded integer domain via bounded-coefficient encoding for efficiently solving the polynomial programming problem using a quantum computing system of superconducting qubits, the system comprising: (a) the quantum computing subsystem of superconducting qubits; (b) a digital computer operatively coupled to the quantum computing subsystem of superconducting qubits, wherein the digital computer comprises at least one computer processor, an operating system configured to perform executable instructions, and a memory; and (c) a computer program including instructions executable by the at least one computer processor to generate an application for generating the equivalent of the polynomial programming problem to efficiently solve the polynomial programming problem on the bounded integer domain via bounded-coefficient encoding, the application comprising: i) a software module programmed or otherwise configured to obtain a polynomial on the bounded integer domain; ii) a software module programmed or otherwise configured to obtain integer encoding parameters; iii) a software module programmed or otherwise configured to compute the bounded-coefficient encoding using the integer encoding parameters; iv) a software module programmed or otherwise configured to (i) transform each integer variable of the polynomial to a linear function of binary variables using the bounded-coefficient encoding and (ii) provide additional constraints on the binary variables to avoid degeneracy in the bounded-coefficient encoding, if required by a user; v) a software module programmed or otherwise configured to (i) substitute each integer variable of the polynomial with an equivalent binary representation and (ii) compute coefficients of an equivalent binary representation of the polynomial on the bounded integer domain; vi) a software module programmed or otherwise configured to perform a degree reduction on the equivalent binary representation of the polynomial on the bounded integer domain to generate an equivalent polynomial of a degree of at most two in binary variables; and vii) a software module programmed or otherwise configured to set local field biases and coupling strengths on the quantum computing subsystem of superconducting qubits using the coefficients of the equivalent polynomial of the degree of at most two in binary variables to generate a Hamiltonian representative of the polynomial on the bounded integer domain, which Hamiltonian is usable by the quantum computing subsystem of superconducting qubits to solve the polynomial programming problem. 19.-29. (canceled) 30. A non-transitory computer-readable medium comprising machine-executable code that, upon execution by a digital computer comprising one or more computer processors, implements a method for using the one or more computer processors to generate an equivalent of a polynomial programming problem on a bounded integer domain via bounded-coefficient encoding for efficiently solving the polynomial programming problem using a quantum computing system of superconducting qubits, the method comprising: a. using the one or more computer processors to obtain (i) a polynomial of degree at most two on the bounded integer domain and (ii) integer encoding parameters; b. computing the bounded-coefficient encoding using the integer encoding parameters; c. using the one or more computer processors to transform each integer variable of the polynomial to a linear function of binary variables using the bounded-coefficient encoding, and providing additional constraints on the binary variables to avoid degeneracy in the bounded-coefficient encoding, if required by a user; d. substituting each integer variable of the polynomial with an equivalent binary representation, and computing coefficients of an equivalent binary representation of the polynomial on the bounded integer domain; e. performing a degree reduction on the equivalent binary representation of the polynomial on the bounded integer domain to generate an equivalent polynomial of a degree of at most two in binary variables; and f. setting local field biases and coupling strengths on the quantum computing system of superconducting qubits using the coefficients of the equivalent polynomial of the degree of at most two in binary variables to generate a Hamiltonian representative of the polynomial on the bounded integer domain which Hamiltonian is usable by the quantum computing system of superconducting qubits to solve the polynomial programming problem. 31. The method of claim 1, further comprising executing the quantum computing system of superconducting qubits having the Hamiltonian to solve the polynomial programming problem.