Towards Reliable Distributed Quantum Computing on Quantum Interconnects

Quantum interconnects (QuICs), which connect multiple quantum devices to build distributed quantum systems, are essential for large-scale quantum information processing. While various software tools have been developed to analyze quantum programs running on QuICs, there are very few frameworks for formal reasoning about them on actual quantum devices. The lack of such tools may make distributed systems unreliable because of the complicated behavior of concurrent quantum processes and the physical constraints of quantum devices. This paper discusses the need for an infrastructure, including a distributed quantum programming language, to realize reliable distributed quantum computing.