US 12,450,511 B2
Compiling quantum programs
Amir Naveh, Haifa (IL); Shmuel Ur, Shorashim (IL); Yehuda Naveh, Tel-Aviv Yafo (IL); Ofek Kirzner, Haifa (IL); Ravid Alon, Tel Aviv (IL); Adam Goldfeld, Kiryat Motzkin (IL); Nir Minerbi, Haifa (IL); Peleg Emanuel, Tel Aviv (IL); Nati Erez, Kadima (IL); and Israel Reichental, Haifa (IL)
Assigned to Classiq Technologies LTD., Tel Aviv (IL)
Filed by Classiq Technologies LTD., Tel Aviv (IL)
Filed on Oct. 31, 2022, as Appl. No. 17/977,300.
Application 17/977,300 is a continuation of application No. 17/752,204, filed on May 24, 2022.
Application 17/752,204 is a continuation of application No. 17/499,046, filed on Oct. 12, 2021, granted, now 11,373,114, issued on Jun. 28, 2022.
Prior Publication US 2023/0111236 A1, Apr. 13, 2023
Int. Cl. G06N 10/00 (2022.01); G06N 5/01 (2023.01)
CPC G06N 10/00 (2019.01) [G06N 5/01 (2023.01)] 20 Claims
OG exemplary drawing
 
1. A method comprising:
obtaining a propagator module of a quantum function of a quantum program, the quantum program comprising multiple quantum functions, the propagator module is programmed using a classical programming language, the propagator module configured to obtain as input a first domain of values for a first circuit parameter and a second domain of values for a second circuit parameter, the first and second circuit parameters defining properties of potential quantum circuits that implement the quantum function, the first and second domains of values defining a parametric space of the first and second circuit parameters, the propagator module configured to output first and second sub-domains of the first and second domains of values, respectively, the first and second sub-domains comprising a first reduction of the parametric space, wherein the output is determined based on a synthesis module of the quantum function, the synthesis module configured to obtain first and second discrete values for the first and second circuit parameters, respectively, and synthesize a matching quantum circuit that implements the quantum function and has the properties that are defined by the first and second discrete values of the first and second circuit parameters;
obtaining one or more constraints of the quantum function, the one or more constraints comprising at least one of: a constraint on a minimal number of qubits of the quantum function, and a hardware constraint of a target quantum computer;
obtaining an optimization scheme, wherein the optimization scheme is defined over at least one of the first and second circuit parameters;
generating a constraint problem based on the propagator module, the one or more constraints, and the optimization scheme;
resolving the constraint problem based on a constraint solver, the constraint solver utilizing the one or more constraints and the propagator module to obtain a second reduction of the parametric space of the first and second circuit parameter, the second reduction comprising a reduced space in comparison with the first reduction of the parametric space, wherein the constraint solver is configured to find a resolution within the second reduction of the parametric space according to the optimization scheme, the resolution comprising at least first and second values for the first and second circuit parameter; and
synthesizing the quantum function according to the resolution, thereby obtaining a quantum circuit, said synthesizing comprises utilizing the synthesis module to synthesize the quantum function according to the first and second values.