A Domain Theoretic Model of Qubit Channels

Authors:
Keye Martin
Affiliations:
Naval Research Laboratory, Center for High Assurance Computer Systems, Washington, DC 20375
Venue:
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Year:
2008

Citing 6
Cited 1

Domain theory

Handbook of logic in computer science (vol. 3)
Quantum computation and quantum information

Quantum computation and quantum information
The Measurement Process in Domain Theory

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A foundation for computation

A foundation for computation
Topology in information theory in topology

Theoretical Computer Science
Algebraic Information Theory For Binary Channels

Electronic Notes in Theoretical Computer Science (ENTCS)

Teleportation with an imperfect state

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We prove that the spectral order provides a domain theoretic model of qubit channels. Specifically, we show that the spectral order is the unique partial order on quantum states whose least element is the completely mixed state, which satisfies the mixing law and has the property that a qubit channel is unital iff it is Scott continuous and has a Scott closed set of fixed points. This result is used to show that the Holevo capacity of a unital qubit channel is determined by the largest value of its informatic derivative. In particular, these channels always have an informatic derivative that is necessarily not a classical derivative.