Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces a formal model for asynchronous quantum distributed computing and presents the QGO algorithm, a quantum analog of the Chandy-Lamport snapshot algorithm, to implement decomposable global quantum operations. The analysis reveals that Lamport's causality principles hold in quantum distributed systems despite entanglement. The work provides a foundation for understanding and designing distributed quantum algorithms.
Quantum entanglement doesn't break distributed computing's fundamental causality assumptions, paving the way for practical asynchronous quantum algorithms.
We initiate the study of asynchronous quantum distributed systems, focusing on the case of implementing atomic quantum global operations that can be decomposed into a collection of local operations on the components of the system. A simple example of such an operation is a quantum snapshot in which the whole system is instantaneously measured. Based on the classical snapshot algorithm of Chandy and Lamport, we design a quantum distributed algorithm to implement such decomposable global operations, which we call the QGO Algorithm. The analysis of our algorithm shows that arguments based on Lamport's computational causality remain valid in the quantum world, even though, due to entanglement, causality is not manifest from the standard description of the system in terms of a (global) quantum state. Our other contributions include a formal model of quantum distributed computing, and a formal specification for the desired behavior of a global operation, which may be of interest even in classical settings (such as in the setting of randomized algorithms).