Publications

Authors:

Vigano', Luca; Volpe, Marco; Zorzi, Margherita

Title:

Quantum State Transformations and Branching Distributed Temporal Logic

Year:

2014

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Language:

Inglese

Format:

A Stampa

Name of journal:

LECTURE NOTES IN COMPUTER SCIENCE

ISSN of journal:

0302-9743

N° Volume:

8652

Congresso:

21st Workshop on Logic, Language, Information and Computation (WoLLIC'14)

Place:

Valparaiso, Chile

Period:

September 1st to 4th, 2014

:

Springer Verlag Germany

Publisher:

Springer Verlag Germany

ISBN:

9783662441442

Page numbers:

1-19

Keyword:

distributed temporal logic; Logics for Quantum Computing; branching temporal logic

Short description of contents:

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 quantum state transformations in an abstract, qualitative way. In QBDTL, each agent rep- resents 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 de- duction system for QBDTL, and we prove the soundness of this deduction system with respect to the given semantics. Finally, we discuss possible extensions of our system in order to reason about entanglement phenomena.

Product ID:

81421

Handle IRIS:

11562/728369

Deposited On:

May 20, 2014

Last Modified:

November 8, 2022

Bibliographic citation:

Vigano', Luca; Volpe, Marco; Zorzi, Margherita, Quantum State Transformations and Branching Distributed Temporal Logic in «LECTURE NOTES IN COMPUTER SCIENCE» vol. 8652 Springer Verlag Germany  in Proceedings of 21st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2014 , Springer Verlag Germany , Proceedings of "21st Workshop on Logic, Language, Information and Computation (WoLLIC'14)" , Valparaiso, Chile , September 1st to 4th, 2014 , 2014 , pp. 1-19

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo