A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations

Luca Viganò, Marco Volpe, Margherita Zorzi

Research output: Contribution to journalArticlepeer-review

12 Citations (Scopus)
236 Downloads (Pure)

Abstract

The Distributed Temporal Logic DTL allows one to reason about temporal properties of a distributed system from the local point of view of the system's agents, which are assumed to execute independently and to interact by means of event sharing. In this paper, we introduce the Quantum Branching Distributed Temporal Logic QBDTL , a variant of DTL able to represent (entanglement-free) quantum state transformations in an abstract, qualitative way. In QBDTL , each agent represents a distinct quantum bit (the unit of quantum information theory), which evolves by means of quantum transformations and possibly interacts with other agents, and n-ary quantum operators act as communication/synchronization points between agents. We endow QBDTL with a DTL-style semantics, which fits the intrinsically distributed nature of quantum computing, we formalize a labeled deduction system for QBDTL , and we prove the soundness and completeness of this deduction system with respect to the given semantics. We give a number of examples and, finally, we discuss possible extensions of our logic in order to reason about entanglement phenomena.
Original languageEnglish
JournalINFORMATION AND COMPUTATION
Early online date17 Jan 2017
DOIs
Publication statusE-pub ahead of print - 17 Jan 2017

Keywords

  • Quantum Computing
  • Quantum State Transformations
  • Temporal Logic
  • Distributed temporal logic
  • Natural Deduction

Fingerprint

Dive into the research topics of 'A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations'. Together they form a unique fingerprint.

Cite this