Researchers model how shared qubits interfere in quantum programs

Mingsheng Ying Sydney has developed a new semantic model for executing quantum circuits in parallel. The work provides a formal foundation for understanding how shared qubits can cause interference in quantum computing, a challenge highlighted by an internal Microsoft survey revealing that 60% of employees encounter concurrency-related issues, most considered high severity. Like classical shared-memory systems, parallel quantum circuits can interfere, but quantum entanglement and non-commutative operations add complexity. This approach enables verifying individual circuit components separately from analyzing interference between them. Entanglement and the non-commutative nature of quantum operations present unique hurdles when verifying the correctness of parallel quantum circuits, a challenge researchers Sydney addressed by adapting a classical concurrency method. The team generalized the Owicki-Gries method, originally designed for shared-memory systems, to the quantum realm at the level of quantum circuits, enabling a new approach to compositional reasoning. This adaptation separates the verification of individual circuit components from the analysis of interference occurring between them, a step toward scalable quantum program verification. The work establishes proof rules for determining the correctness of parallel…