Auxiliary qubit verification in quantum circuits

An apparatus comprising a processor and coupled memory, said processor being adapted to:

• obtain a representation of a quantum circuit, wherein the quantum circuit manipulates a plurality of qubits over a plurality of cycles, wherein role indications of the plurality of qubits are not available;
• and
• detect one or more robust qubits in the plurality of qubits, wherein each qubit of the one or more robust qubits comprises a dirty auxiliary qubit that is robust to quantum states of remaining qubits from the plurality of qubits, wherein said detecting comprises:
• applying one or more initial states to the plurality of qubits using one or more quantum state setters,
• simulating the quantum circuit using a simulator, and
• inspecting states of the plurality of qubits from said simulating.

A computer program product comprising a non-transitory computer readable medium retaining program instructions, which program instructions, when read by a processor, cause the processor to:

• obtain a representation of a quantum circuit, wherein the quantum circuit manipulates a plurality of qubits over a plurality of cycles, wherein role indications of the plurality of qubits are not available;
• and
• detect one or more robust qubits in the plurality of qubits, wherein each qubit of the one or more robust qubits comprises a dirty auxiliary qubit that is robust to quantum states of remaining qubits from the plurality of qubits, wherein said detecting comprises:
• applying one or more initial states to the plurality of qubits using one or more quantum state setters,
• simulating the quantum circuit using a simulator, and
• inspecting states of the plurality of qubits from said simulating.