Abstract: Method, computer program products and apparatuses for preconditional implementation swaps between quantum functions in order to improving a target optimization metric when executing the modified quantum circuit. A quantum circuit comprising a quantum function configured to receive input qubits and perform a manipulation thereon is obtained with input conditions on at least a portion of the input qubits, that are guaranteed to be met when the quantum function is utilized by the quantum circuit. A set of equivalent quantum functions that are equivalent to the quantum function under the input conditions is determined, such as using an equivalences graph representing equivalent functions under various input conditions. An optimized quantum function is selected from the set based on a target optimization metric. A modified improved quantum circuit is generated by replacing the quantum function with the optimized quantum function.

Abstract: A method, a computerized apparatus, and a computer program product for automatic quantum circuit control skips. The method comprises obtaining a controlled sequence of quantum operations defining a complete order with at least two computation-uncomputation pairs of operations separated by a sub-sequence of one or more quantum operations. Computation-uncomputation pairs to be reduced are selected based on an optimization of a score of the reduced control sequence in comparison to a score of an alternative reduced control sequence in which the pairs are not reduced, in accordance with a score of each operation in a respective quantum circuit control. A reduced control sequence with a reduced number of controls is obtained by excluding a selected computation-uncomputation pairs of operations.

Abstract: 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.