Distributed quantum programming

Ellie D’Hondt, Yves Vandriessche

Ellie D’Hondt, Yves Vandriessche

Mingsheng Ying

Ellie D’Hondt, Yves Vandriessche

In this paper we explore the structure and applicability of the Distributed Measurement Calculus (DMC), an assembly language for distributed measurement-based quantum computations. We describe the formal language's syntax and semantics, both operational and denotational, and state several properties that are crucial to the practical usability of our language, such as equivalence of our semantics, as well as compositionality and context-freeness of DMC programs. We show how to put these properties to use by constructing a composite program that implements distributed controlled operations, in the knowledge that the semantics of this program does not change under the various composition operations. Our formal model is the basis of a quantum virtual machine construction for distributed quantum computations, which we elaborate upon in the latter part of this work. This virtual machine embodies the formal semantics of DMC such that programming execution no longer needs to be analysed by hand. Far from a literal translation, it requires a substantial concretisation of the formal model at the level of data structures, naming conventions and abstraction mechanisms. At the same time we provide automatisation techniques for program specification where possible to obtain an expressive and user-friendly programming environment.

Nasiri Vatan Sadeq

Distributed Presence Research Program (DP) is an interdisciplinary foundational research program investigating whether physical reality can be more coherently understood in terms of distributed, relational, and phase-structured presence rather than as a collection of fundamentally isolated entities. The program explores the possibility that mass, charge, localization, probability, field structure, quantum behavior, and spacetime organization may be interpreted as emergent modes of response, stabilization, and relational configuration within a deeper ontology of distributed presence. A central aim of the program is to develop an ontological unity in physics by articulating a framework in which the interpretation of physical properties, the ontology of fields, the status of probability, and the conceptual foundations of quantum mechanics can be approached within a common relational structure. In particular, the DP Research Program addresses: the ontology of distributed presence, the emergence of localization, the reinterpretation of mass and charge, phase and response structures, the ontological interpretation of probability, the interpretation of quantum mechanics, spacetime emergence, and the search for ontological unity across physical theory. Rather than presenting itself as a completed physical theory, DP develops a conceptual and exploratory formal framework connecting philosophy of physics, metaphysics of science, quantum foundations, field-theoretic interpretation, and ontological modeling. The program aims to function as an open research platform for conceptual clarification, formal development, and interdisciplinary dialogue on the foundations and unity of physical reality.

Yuan Feng, Sanjiang Li, Mingsheng Ying

Distributed quantum systems and especially the Quantum Internet have the ever-increasing potential to fully demonstrate the power of quantum computation. This is particularly true given that developing a general-purpose quantum computer is much more difficult than connecting many small quantum devices. One major challenge of implementing distributed quantum systems is programming them and verifying their correctness. In this paper, we propose a CSP-like distributed programming language to facilitate the specification and verification of such systems. After presenting its operational and denotational semantics, we develop a Hoare-style logic for distributed quantum programs and establish its soundness and (relative) completeness with respect to both partial and total correctness. The effectiveness of the logic is demonstrated by its applications in the verification of quantum teleportation and local implementation of non-local CNOT gates, two important algorithms widely used in distributed quantum systems.