Sciweavers

FSTTCS
2005
Springer

Reasoning About Quantum Knowledge

13 years 9 months ago
Reasoning About Quantum Knowledge
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], we stress that our notion of quantum knowledge makes sense more generally in any agentbased model of quantum networks. Several arguments are given to support our view that an agent’s possibility relation should not be based on the reduced density matrix, but rather on local classical states and local quantum operations. In this way, we are able to analyse distributed primitives such as superdense coding and teleportation, obtaining interesting conclusions as to how the knowledge of individual agents evolves. We show explicitly that the knowledge transfer in teleportation is essentially classical, in that eventually, the receiving agent knows that its state is equal to the initial state of the sender – the relevant epistemic statements for teleportation deal with this correlation rather than with the actual...
Ellie D'Hondt, Prakash Panangaden
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FSTTCS
Authors Ellie D'Hondt, Prakash Panangaden
Comments (0)