-
公开(公告)号：US20230111236A1
公开(公告)日：2023-04-13
申请号：US17977300
申请日：2022-10-31
发明人： Amir Naveh , Shmuel Ur , Yehuda Naveh , Ofek Kirzner , Ravid Alon , Adam Goldfeld , Nir Minerbi , Peleg Emanuel , Nati Erez , Israel Reichental
摘要： A method, apparatus, a product comprising: obtaining a propagator module of a quantum function of a quantum program, 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, and to output first and second sub-domains of the first and second domains of values, respectively; obtaining constraints of the quantum function; obtaining an optimization scheme that is defined over the first and second circuit parameters; generating a constraint problem based on the propagator module, the constraints, and the optimization scheme; resolving the constraint problem based on a constraint solver, a resolution comprising at least first and second values for the first and second circuit parameter; and synthesizing the quantum function according to the resolution.
-
公开(公告)号：US20230111039A1
公开(公告)日：2023-04-13
申请号：US17499082
申请日：2021-10-12
发明人： Amir Naveh , Shmuel Ur , Yehuda Naveh , Ofek Kirzner , Ravid Alon , Tal Goren , Adam Goldfeld , Jonatan Zimmermann , Nir Minerbi
摘要： A method, system and product comprising: obtaining a functional-level representation of a quantum circuit that comprises a functional block; obtaining an indication of one or more resources that are available to the functional block, the indication regarding a range of cycles and an indication regarding a number of qubits; dynamically generating a gate-level implementation of the functional block that adheres to the indication of the one or more resources; and synthesizing a gate-level implementation of the quantum circuit, wherein the gate-level implementation of the quantum circuit comprises the gate-level implementation of the functional block.
-
公开(公告)号：US20230032530A1
公开(公告)日：2023-02-02
申请号：US17938346
申请日：2022-10-06
发明人： Amir Naveh , Shmuel Ur , Eyal Cornfeld , Adam Goldfeld , Lior Gazit , Ravid Alon , Ofek Kirzner , Yehuda Naveh
摘要： A method, product and apparatus comprising: obtaining an indication of an execution task to be performed by a quantum computer, wherein the execution task comprises executing, by the quantum computer, a quantum program for a number of times that is larger than two times: obtaining a graph comprising nodes that are connected by edges, the graph represents a gate-level implementation of the quantum program, the graph depicts quantum restrictions of the quantum program; and packing multiple graphs according to the quantum restrictions to synthesize a joint circuit, the joint circuit is configured, when executed by the quantum computer, to implement the execution task, the multiple graphs comprise at least one instance of the graph, the one instance of the graph represents a single execution of the quantum program, whereby execution of the joint circuit implements execution of the quantum program for the number of times.
-
公开(公告)号：US12056578B1
公开(公告)日：2024-08-06
申请号：US18381022
申请日：2023-10-17
发明人： Amir Naveh , Shmuel Ur , Eyal Cornfeld , Nir Minerbi , Yehuda Naveh , Ofek Kirzner , Ravid Alon
IPC分类号： G06N10/80
CPC分类号： G06N10/80
摘要： A method, apparatus and product comprising: generating, by a first software compiler, an intermediate-level data structure based on a quantum program, the intermediate-level data structure is a Directed Acyclic Graph (DAG) that is a non-executable representation of the quantum program; initiating a first execution of the quantum program at the quantum execution platform by: obtaining, at a second software compiler, first real-time constraints on an availability of resources of the quantum execution platform for the first execution; generating, based on the first real-time constraints, a first quantum circuit that implements the DAG; and providing the first quantum circuit to the quantum execution platform to be executed thereon; and initiating a second execution of the quantum program at the quantum execution platform by: obtaining second real-time constraints on an availability of resources; generating a second quantum circuit; and providing the second quantum circuit to the quantum execution platform.
-
公开(公告)号：US11281988B1
公开(公告)日：2022-03-22
申请号：US17499063
申请日：2021-10-12
发明人： Amir Naveh , Shmuel Ur , Yehuda Naveh , Ofek Kirzner , Ravid Alon , Tal Goren , Nir Minerbi
摘要： A method, system and product comprising: obtaining a functional-level representation of a quantum circuit that comprises a functional block; synthesizing a gate-level representation of the quantum circuit based on the functional-level representation of the quantum circuit, wherein the gate-level representation of the quantum circuit comprises a first sub-circuit and a second sub-circuit; providing the gate-level representation to a gate-level processing component; obtaining, from the gate-level processing component, a change indication indicating that the gate-level processing component modified the first sub-circuit, whereby determining a modified first sub-circuit; in response to the change indication, synthesizing a modified second sub-circuit based on a knowledge of an existence of the modified first sub-circuit.
-
公开(公告)号：US12086687B2
公开(公告)日：2024-09-10
申请号：US17499082
申请日：2021-10-12
发明人： Amir Naveh , Shmuel Ur , Yehuda Naveh , Ofek Kirzner , Ravid Alon , Tal Goren , Adam Goldfeld , Jonatan Zimmermann , Nir Minerbi
摘要： A method, system and product comprising: obtaining a functional-level representation of a quantum circuit that comprises a functional block; obtaining an indication of one or more resources that are available to the functional block, the indication regarding a range of cycles and an indication regarding a number of qubits; dynamically generating a gate-level implementation of the functional block that adheres to the indication of the one or more resources; and synthesizing a gate-level implementation of the quantum circuit, wherein the gate-level implementation of the quantum circuit comprises the gate-level implementation of the functional block.
-
公开(公告)号：US12086686B2
公开(公告)日：2024-09-10
申请号：US17450583
申请日：2021-10-12
发明人： Amir Naveh , Shmuel Ur , Yehuda Naveh , Ofek Kirzner , Ravid Alon , Tal Goren , Nir Minerbi
摘要： A method, system and product comprising: obtaining a gate-level representation of a quantum circuit, wherein the gate-level representation comprises a set of quantum gates defining operations on a set of qubits, wherein the gate-level representation comprises a gate-level implementation of a functional block of a functional-level representation of the quantum circuit, wherein the functional block defines an operation of the quantum circuit over at least two cycles; obtaining metadata from a functional-level processing component, wherein the metadata comprise an artifact associated with the gate-level implementation of the functional block; and compiling the gate-level representation of the quantum circuit, wherein said compiling is performed based on the metadata.
-
公开(公告)号：US12073291B2
公开(公告)日：2024-08-27
申请号：US17450584
申请日：2021-10-12
发明人： Amir Naveh , Shmuel Ur , Yehuda Naveh , Ofek Kirzner , Ravid Alon , Tal Goren , Adam Goldfeld , Nir Minerbi
摘要： A method, system and product comprising: obtaining a functional-level representation of a quantum circuit that comprises a functional block, wherein the functional block defines an operation of the quantum circuit over at least two cycles; selecting from a function library an implementation for the functional block, wherein the function library comprises a plurality of alternative implementations of the functional block, wherein each implementation of the plurality of alternative implementations is configured to provide a same functionality of the functional block and is applicable to a quantum computer to be used for executing the quantum circuit; and generating a gate-level representation of the quantum circuit that comprises the implementation for the functional block.
-
公开(公告)号：US20240078088A1
公开(公告)日：2024-03-07
申请号：US17929703
申请日：2022-09-04
发明人： Amir Naveh , Yehuda Naveh , Ofek Kirzner , Shmuel Ur , Ravid Alon , Eyal Cornfeld , Avi Elazari , Lior Gazit
摘要： A method, system, and product for performance analysis of quantum programs. A quantum program comprises plurality of code artifacts and is compilable into a quantum circuit. A representation of the quantum circuit that implements the quantum program is obtained. The quantum circuit manipulates a plurality of qubits over a plurality of cycles using a plurality of quantum gates. The representation of the quantum circuit includes circuit components. A performance measurement of a code artifact of the quantum program is automatically computed based on one or more circuit components that are mapped to the code artifact by a component to code mapping. The component to code mapping maps circuit components of the representation to the quantum circuit to respective code artifacts of the quantum program.
-
公开(公告)号：US20230115165A1
公开(公告)日：2023-04-13
申请号：US17752204
申请日：2022-05-24
发明人： Amir Naveh , Shmuel Ur , Yehuda Naveh , Ofek Kirzner , Ravid Alon , Tal Goren , Adam Goldfeld , Nir Minerbi
摘要： A method, system and product for synthesizing a quantum circuit using Constraint Satisfaction Problem (CSP). A functional-level representation of a quantum circuit that includes a first functional blocks and a second functional block is obtained. The functional-level representation defines a relationship between the first functional block and the second functional block. A CSP that is determined based on the functional-level representation, is automatically solved. The CSP is solved by identifying a first and second implementations to the first and second functional blocks that adhere to the CSP. A gate-level representation of the quantum circuit is synthesized using the first and second implementations.
-
-
-
-
-
-
-
-
-
搜索结果
13 条记录 (耗时 0.013 秒)
