Tracking references to information storage resources in a quantum circuit
Technologies are described herein to track information storage resources in a quantum circuit during compile time or runtime of a program by which quantum algorithms are built.
1. A non-transitory computer-readable medium storing executable instructions that, upon execution, cause a digital computing processor to create a quantum circuit by performing functions comprising:
declaring a qubit variable; copying a reference, comprising an alias created in a dynamic address table stored in a memory for a circuit type of a quantum circuit, to the declared qubit variable;
creating a new circuit type of a quantum circuit; and
assigning at least one qubit from the circuit type associated with the reference to the newly created circuit type.
2. The non-transitory computer-readable medium of claim 1 , wherein the computer-readable medium comprises a compiler executing in a classical computing environment.
3. The non-transitory computer-readable medium of claim 1 , wherein the newly created circuit type is a quantum circuit that is executable in a quantum computing environment.
4. The non-transitory computer-readable medium of claim 1 , wherein the newly created circuit type is of a higher level of abstraction than the circuit type.
5. The non-transitory computer-readable medium of claim 1 , wherein the copying includes referring to a central table that maps references addresses of qubits.
6. The non-transitory computer-readable medium of claim 5 , wherein the circuit type is fully-curried and the assigning includes assigning all the qubits from the circuit type to the newly created circuit type.
7. The non-transitory computer-readable medium of claim 5 , wherein the circuit type is partially-curried and the assigning includes resolving addressing of un-curried qubits from the circuit type into qualified qubit addresses corresponding to the newly created circuit type.
8. The non-transitory computer-readable medium of claim 5 , wherein a qubit corresponding to the circuit type is not correlated to a qubit corresponding to the newly created circuit type, and the assigning includes assigning an auxiliary qubit to the circuit type within the newly created circuit type.
9. The non-transitory computer-readable medium of claim 1 , wherein the copying includes retrieving, from a local memory, a qubit address that is tagged to the reference.
10. The non-transitory computer-readable medium of claim 9 , wherein the circuit type is fully-curried and the assigning includes assigning all the qubits from the circuit type to the newly created circuit type that pertains to an immediately higher level of abstraction.
11. The non-transitory computer-readable medium of claim 9 , wherein the circuit type is partially-curried and the assigning includes resolving addressing of un-curried qubits from the circuit type into qualified qubit addresses associated with the newly created circuit type that pertains to an immediately higher level of abstraction.
12. The non-transitory computer-readable medium of claim 9 , wherein a qubit associated with the circuit type is not correlated to a qubit associated with the newly created circuit type, and the assigning includes assigning an auxiliary qubit to the circuit type within context of the newly created circuit type that pertains to an immediately higher level of abstraction.
13. A method of creating a quantum circuit in a classical computing environment, comprising:
declaring at least a qubit variable;
copying a reference, comprising an alias created in a dynamic address table stored in a memory for a circuit type of a quantum circuit, to at least the declared qubit variable;
creating a new circuit type of a quantum circuit; and
assigning at least one qubit from the circuit type associated with the reference to the newly created circuit type.
14. The method of claim 13 , wherein the newly created circuit type is a quantum circuit that is executable in a quantum computing environment and is of a higher level of abstraction than the circuit type.
15. The method of claim 13 , wherein the copying includes referring to a central table that maps references addresses of at least qubits.
16. The method of claim 15 , wherein the circuit type is a fully-curried template for which at least all corresponding qubits are pre-assigned to at least qubits corresponding to the newly created circuit type.
17. The method of claim 15 , wherein the circuit type is a partially-curried template for which at least one corresponding qubit is pre-assigned to at least a qubit corresponding to the newly created circuit type, and the assigning includes resolving addressing of at least remaining qubits from the circuit type into at least qualified qubit addresses corresponding to the newly created circuit type.
18. The method of claim 15 , wherein at least a qubit corresponding to the circuit type is not correlated to at least a qubit corresponding to the newly created circuit type, and the assigning includes assigning at least an auxiliary qubit to the circuit type within the newly created circuit type.
19. The method of claim 15 , wherein the copying includes retrieving, from a local memory, at least a qubit address that is tagged to the reference.
20. The method of claim 19 , wherein the reference pertains to an immediately higher level of abstraction.