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

Citation data:

Information and Computation, ISSN: 0890-5401, Vol: 255, Page: 311-333

Publication Year:
Usage 257
Abstract Views 256
Link-outs 1
Captures 5
Readers 5
Social Media 17
Shares, Likes & Comments 16
Tweets 1
Citations 3
Citation Indexes 3
Luca ViganĂ²; Marco Volpe; Margherita Zorzi
Elsevier BV
Mathematics; Computer Science
Most Recent Tweet View All Tweets
article description
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.