Systems and methods for unified computing on digital and quantum computers

A method for compiling a computer program that can be run on a target quantum processor, the target quantum processor comprising a plurality of qubits, qudits, or quantum continuous variables, the method comprising:

• at a digital computer system comprising one or more digital processors and a memory, the memory comprising non-transitory instructions configured to perform a procedure using the one or more digital processors, the procedure comprising:
• (A) obtaining a computer program written in a unified language, wherein the computer program consists of a plurality of digital instructions configured for execution by the one or more digital processors, and wherein the computer program comprises an initial loop;
• (B) performing code refactoring on all or a portion of the computer program to form a refactored code, and wherein the refactored code comprises a plurality of loops that collectively represent the initial loop;
• (C) converting the refactored code into a first code;
• (D) compiling the first code into a second code, wherein the second code comprises a plurality of data elements in one or more quantum data structures determined by a compiler from one or more digital datatypes in the first code;
• and
• (E) compiling the second code into a third code expressed in a quantum gate-level language in accordance with an instruction set and one or more gate locality constraints of the target quantum processor, wherein at least one loop in the plurality of loops is replaced in the refactored code by one or more quantum procedures, implemented as a max-value search, a recursive array/matrix definition or a sequential search not present in the computer program, thereby achieving a polynomial or exponential speed up of the at least one loop.

A non-transitory computer readable storage medium storing one or more programs, the one or more programs comprising instructions, which when executed by a digital computer system with one or more digital processors, cause the digital computer system to:

• (A) obtain a computer program written in a unified language, wherein the computer program consists of a plurality of digital instructions configured for execution by the one or more digital processors, and wherein the computer program comprises an initial loop;
• (B) perform code refactoring on all or a portion of the computer program to form a refactored code, and wherein the refactored code comprises a plurality of loops that collectively represent the initial loop;
• (C) convert the refactored code into a first code;
• (D) compile the first code into a second code, wherein the second code comprises a plurality of data elements in one or more quantum data structures determined by a compiler from one or more digital datatypes in the first code;
• and
• (E) compile the second code into a third code expressed in a quantum gate-level language in accordance with an instruction set and one or more gate locality constraints of a target quantum processor, wherein at least one loop in the plurality of loops is replaced in the refactored code by one or more quantum procedures, implemented as a max-value search, a recursive array/matrix definition or a sequential search not present in the computer program, thereby achieving a polynomial or exponential speed up of the at least one loop.