Controlled propagation of input values in quantum computing
A method, product and apparatus for controlled propagation of input values in quantum computing. The method comprises obtaining a quantum program to be compiled. The quantum program has a first input qubit having a first value and a second input qubit having a second value. The method comprises identifying an intermediate cycle after which the first input qubit is not used in the quantum program, synthesizing a transformative quantum program that is applicable on a qubit being processed based on the first value and based on the second value; and updating the quantum program which comprises: modifying the quantum program to perform the transformative quantum program on the first input qubit at the intermediate cycle; and causing the quantum program to utilize the first input qubit instead of the second input qubit.
1. A method comprising:
obtaining a quantum program to be compiled, wherein the quantum program comprising a first input qubit having a first value and a second input qubit having a second value;
identifying an intermediate cycle after which the first input qubit is not used in the quantum program;
synthesizing a transformative quantum program that is applicable on a qubit being processed, wherein the transformative quantum program is a quantum program that is configured to update a value of the qubit being processed by subtracting from the qubit being processed the first value and by adding to the qubit being processed the second value, wherein said synthesizing is based on the first value and based on the second value, whereby performing controlled propagation on the qubit being processed having the first value and updating the qubit being processed to have the second value;
updating the quantum program, wherein said updating the quantum program comprises:
modifying the quantum program to perform the transformative quantum program on the first input qubit at the intermediate cycle;
causing the quantum program to utilize the first input qubit instead of the second input qubit.
2. The method of claim 1 further comprises verifying that the first value and the second value have a same computational base.
3. The method of claim 1 ,
wherein said identifying comprises determining that the quantum program does not define a computation on the second input qubit having the second value at a cycle prior to the intermediate cycle,
wherein said causing the quantum program to utilize the first input qubit instead of the second input qubit comprises replacing usage of the second input qubit by the first input qubit.
4. The method of claim 1 ,
wherein said identifying comprises determining that a computation on the second input qubit having the second value at a cycle prior to the intermediate cycle can be delayed to a delayed cycle after the intermediate cycle;
wherein said causing the quantum program to utilize the first input qubit instead of the second input qubit comprises updating the quantum program to perform the computation at the delayed cycle and using the first input qubit instead of the second input qubit.
5. The method of claim 1 further comprising generating an executable quantum circuit based on the updated quantum program.
6. The method of claim 5 further comprising executing the executable quantum circuit using a quantum computer, whereby reducing qubit resources allocated for the quantum program when executed by the quantum computer.
7. The method of claim 1 , wherein said updating is configured to remove all usages of the second input qubit from the quantum program, whereby reducing a number of logical qubits defined by the quantum program.
8. The method of claim 1 , wherein the first input qubit is an input to a first functional block in the quantum program, wherein the second input qubit is an input to a second functional block in the quantum program.
9. The method of claim 1 further comprising verifying that the first input qubit is not entangled in the intermediate cycle with any other qubit of the quantum program.
10. The method of claim 1 , wherein the first input qubit comprises a first set of qubits, wherein the second input qubit comprises a second set of qubits.
11. The method of claim 10 further comprising verifying that the first set of qubits is not entangled with any other qubit of the quantum program that is not comprised by the first set of qubits.
12. A non-transitory computer readable medium retaining program instructions, wherein the program instructions are configured, when read, to cause a processor to perform:
obtaining a quantum program to be compiled, wherein the quantum program comprising a first input qubit having a first value and a second input qubit having a second value;
identifying an intermediate cycle after which the first input qubit is not used in the quantum program;
synthesizing a transformative quantum program that is applicable on a qubit being processed, wherein the transformative quantum program is a quantum program that is configured to update a value of the qubit being processed by subtracting from the qubit being processed the first value and by adding to the qubit being processed the second value, wherein said synthesizing is based on the first value and based on the second value, whereby performing controlled propagation on the qubit being processed having the first value and updating the qubit being processed to have the second value;
updating the quantum program, wherein said updating the quantum program comprises:
modifying the quantum program to perform the transformative quantum program on the first input qubit at the intermediate cycle;
causing the quantum program to utilize the first input qubit instead of the second input qubit.
13. The non-transitory computer readable medium of claim 12 , wherein the instructions are configured to further cause the processor to perform: verifying that the first value and the second value have a same computational base.
14. The non-transitory computer readable medium of claim 12 ,
wherein said identifying comprises determining that the quantum program does not define a computation on the second input qubit having the second value at a cycle prior to the intermediate cycle,
wherein said causing the quantum program to utilize the first input qubit instead of the second input qubit comprises replacing usage of the second input qubit by the first input qubit.
15. The non-transitory computer readable medium of claim 12 ,
wherein said identifying comprises determining that a computation on the second input qubit having the second value at a cycle prior to the intermediate cycle can be delayed to a delayed cycle after the intermediate cycle;
wherein said causing the quantum program to utilize the first input qubit instead of the second input qubit comprises updating the quantum program to perform the computation at the delayed cycle and using the first input qubit instead of the second input qubit.
16. The non-transitory computer readable medium of claim 12 , wherein said updating is configured to remove all usages of the second input qubit from the quantum program, whereby reducing a number of logical qubits defined by the quantum program.
17. The non-transitory computer readable medium of claim 12 , wherein the first input qubit is an input to a first functional block in the quantum program, wherein the second input qubit is an input to a second functional block in the quantum program.
18. An apparatus comprising a processor and memory unit, wherein the processor is configured to perform:
obtaining a quantum program to be compiled, wherein the quantum program comprising a first input qubit having a first value and a second input qubit having a second value;
identifying an intermediate cycle after which the first input qubit is not used in the quantum program;
synthesizing a transformative quantum program that is applicable on a qubit being processed, wherein the transformative quantum program is a quantum program that is configured to update a value of the qubit being processed by subtracting from the qubit being processed the first value and by adding to the qubit being processed the second value, wherein said synthesizing is based on the first value and based on the second value, whereby performing controlled propagation on the qubit being processed having the first value and updating the qubit being processed to have the second value;
updating the quantum program, wherein said updating the quantum program comprises:
modifying the quantum program to perform the transformative quantum program on the first input qubit at the intermediate cycle;
causing the quantum program to utilize the first input qubit instead of the second input qubit.