Publications

Quantum State Transformations and Branching Distributed Temporal Logic  (2014)

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 2014Springer Verlag GermanyProceedings of "21st Workshop on Logic, Language, Information and Computation (WoLLIC'14)" , Valparaiso, Chile , September 1st to 4th, 2014 , 2014pp. 1-19

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

Related projects
Title Department Managers
Generalizing Truth-Functionality: GeTFun Department Informatica Luca Vigano'
<<back

Activities

Research facilities